scientific article; zbMATH DE number 3395362
From MaRDI portal
Publication:5663380
Cited in
(19)- The implementation of FPROLOG - a fuzzy PROLOG interpreter
- A Prolog technology theorem prover: Implementation by an extended Prolog compiler
- Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks
- Representing scope in intuitionistic deductions
- Resolution theorem proving in reified modal logics
- An ordering linear unification algorithm
- Boolean unification - the story so far
- On equational theories, unification, and (un)decidability
- Lazy structure sharing for query optimization
- Milestones from the Pure Lisp Theorem Prover to ACL2
- Source-tracking unification
- Pre-indexed Terms for Prolog
- Fuzzy logic programming
- A graph unification machine for NL parsing
- Fifty Years of Prolog and Beyond
- Correctness of procedure representations in higher-order assembly language
- Theory matrices (for modal logics) using alphabetical monotonicity
- Structure sharing for quantified terms: Fundamentals
- The calculus of context relations
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5663380)
