351 search results - page 35 / 71 » Classical Logic with Partial Functions |
ICLP
2010
Springer
13 years 11 months ago
2010
Springer
Probabilistic Logic Programming is an active field of research, with many proposals for languages, semantics and reasoning algorithms. One such proposal, Logic Programming with A...
FPL
2000
Springer
13 years 11 months ago
2000
Springer
This paper reports on a method for extending existing VHDL design and verification software available for the Xilinx Virtex series of FPGAs. It allows the designer to apply standa...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
We give a calculus for reasoning about the first-order fragment of classical logic that is adequate for giving the truth conditions of intuitionistic Kripke frames, and outline a...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
The fractional Laplacian (-)/2 commutes with the primary coordination transformations in the Euclidean space Rd: dilation, translation and rotation, and has tight link to splines, ...
PLDI
2012
ACM
11 years 9 months ago
2012
ACM
Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combi...