( en | de | ru )

 

Disambiguation of "Lipton, James"

Author of the publication

copydeleteadd this publication to your clipboard
First-order unification using variable-free relational algebra.

, , , and . Logic Journal of the IGPL, 19 (6): 790-820 (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Lipton Chan

Michael James

Audrein James

Katherine James

Ammini James-Mammoottil

 

Other publications of authors with the same name

Higher-Order Logic Programming Languages with Constraints: A Semantics., and . TLCA, volume 4583 of Lecture Notes in Computer Science, page 272-289. Springer, (2007)Constraint logic programming with a relational machine., , and . Formal Aspects Comput., 29 (1): 97-124 (2017)Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog., , and . CoRR, (2024)First-order unification using variable-free relational algebra., , , and . UNIF, page 40-54. (2008)Combinatory Logic Programming: Computing in Relation Calculi., and . ILPS, page 269-285. MIT Press, (1994)Logic Programming in Tau Categories., , and . CSL, volume 933 of Lecture Notes in Computer Science, page 249-263. Springer, (1994)Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction., , and . ASIAN, volume 3321 of Lecture Notes in Computer Science, page 93-108. Springer, (2004)Intuitive Counterexamples for Constructive Fallacies., and . MFCS, volume 841 of Lecture Notes in Computer Science, page 87-111. Springer, (1994)Completeness and Cut-elimination in the Intuitionistic Theory of Types - Part 2., and . J. Log. Comput., 20 (2): 597-602 (2010)Declarative Compilation for Constraint Logic Programming., , and . LOPSTR, volume 8981 of Lecture Notes in Computer Science, page 299-316. Springer, (2014)