850 search results - page 3 / 170 » A Logic Programming Language Based on Binding Algebras |
CSCW
2000
ACM
13 years 9 months ago
2000
ACM
In general, collaboration infrastructures have supported sharing of an object based on its logical structure. However, current implementations assume an implicit binding between t...
IFIP
1994
Springer
13 years 9 months ago
1994
Springer
ACTAC
2002
13 years 5 months ago
2002
This paper describes a framework for handling bound variable renaming and substitution mathematically rigorously with the aim at the same time to stay as close as possible to huma...
IFIP
1994
Springer
13 years 9 months ago
1994
Springer
The paper surveys the work which has been done from 1986-1994 on speci cations of logic programming systems by evolving algebras. 1
IGPL
2011
12 years 9 months ago
2011
We extend the lattice embedding of the axiomatic extensions of the positive fragment of intuitionistic logic into the axiomatic extensions of intuitionistic logic to the setting of...