208
click to vote
LICS
1989
IEEE
15 years 11 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...
166
click to vote
LICS
1987
IEEE
15 years 11 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 ...
118
Voted
LICS
1987
IEEE
15 years 11 months ago
1987
IEEE
118
Voted
LICS
1987
IEEE
15 years 11 months ago
1987
IEEE
179
Voted
ICLP
1987
Springer
15 years 11 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...
163
click to vote
ICLP
1989
Springer
1989
Springer
Complete and Efficient Methods for Supporting Side-effects in Independent/Restricted AND-Parallelism
15 years 11 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...
119
Voted
CSL
1987
Springer
15 years 11 months ago
1987
Springer
