LICS
1989
IEEE
14 years 3 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
LICS
1987
IEEE
14 years 3 months ago
1987
IEEE
LICS
1987
IEEE
14 years 3 months ago
1987
IEEE
The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax, rules, and proofs by means of a typed -calculus ...
LICS
1987
IEEE
14 years 3 months ago
1987
IEEE
LICS
1987
IEEE
14 years 3 months ago
1987
IEEE
ICLP
1987
Springer
14 years 3 months ago
1987
Springer
The Near-Horn Prolog procedures have been proposed as e ective procedures in the area of disjunctive logic programming, an extension of logic programming to the ( rstorder) non-Ho...
ICLP
1989
Springer
1989
Springer
Complete and Efficient Methods for Supporting Side-effects in Independent/Restricted AND-Parallelism
14 years 3 months ago
It has been shown that it is possible to exploit Independent/Restricted And-parallelism in logic programs while retaining the conventional "don't know" semantics of...
ELP
1989
14 years 3 months ago
1989
CSL
1987
Springer
14 years 3 months ago
1987
Springer
TPHOL
1994
IEEE
14 years 3 months ago
1994
IEEE