2623 search results - page 29 / 525 » Hoare Logic in the Abstract |
POPL
2008
ACM
14 years 8 months ago
2008
ACM
AAAI
2004
13 years 10 months ago
2004
We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is act constraint (...
CIE
2005
Springer
14 years 2 months ago
2005
Springer
L APPROACH TO ABSTRACT ALGEBRA THIERRY COQUAND AND HENRI LOMBARDI Recent work in constructive mathematics show that Hilbert’s program works rge part of abstract algebra. Using in...
ELP
1989
14 years 17 days ago
1989
BSTRACTION, FUNCTION VARIABLES, AND SIMPLE UNIFICATION: Abstract Draft, 20 September 1989 Dale Miller Department of Computer and Information Science University of Pennsylvania Phil...
IFM
2009
Springer
14 years 3 months ago
2009
Springer