LICS
1989
IEEE
15 years 23 days 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
15 years 23 days ago
1987
IEEE
LICS
1987
IEEE
15 years 23 days 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
15 years 23 days ago
1987
IEEE
LICS
1987
IEEE
15 years 23 days ago
1987
IEEE
ICLP
1987
Springer
15 years 23 days 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
15 years 23 days 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...
47
Voted
ELP
1989
15 years 23 days ago
1989
44
Voted
CSL
1987
Springer
15 years 23 days ago
1987
Springer
TPHOL
1994
IEEE
15 years 23 days ago
1994
IEEE