Logic Programming
From MaRDI portal
Publication:5313189
DOI10.1007/b99475zbMath1104.68370MaRDI QIDQ5313189
Publication date: 26 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b99475
68N17: Logic programming
Related Items
α lean TA P: A Declarative Theorem Prover for First-Order Classical Logic, Nominal Unification from a Higher-Order Perspective, Equivariant unification, PNL to HOL: from the logic of nominal sets to the logic of higher-order functions, Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms, A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets, On the algebraic structure of declarative programming languages, Encoding abstract syntax without fresh names, Nominal Equational Logic, Implementing Nominal Unification
Uses Software