Meta-variables as infinite lists in nominal terms unification and rewriting

Logic Journal of the IGPL 20 (6):967-1000 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzs005

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,709

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques (vol 8, pg 769, 2010). [REVIEW]Gilles Dowek, Murdoch J. Gabbay & Dominic Mulligan - 2012 - Logic Journal of the IGPL 20 (1):769-822.
Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques.Gilles Dowek, Murdoch J. Gabbay & Dominic P. Mulligan - 2010 - Logic Journal of the IGPL 18 (6):769-822.
Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free.Murdoch J. Gabbay - 2012 - Journal of Symbolic Logic 77 (3):828-852.
Infinite set unification with application to categorial grammar.Jacek Marciniec - 1997 - Studia Logica 58 (3):339-355.
Skew confluence and the lambda calculus with letrec.Zena M. Ariola & Stefan Blom - 2002 - Annals of Pure and Applied Logic 117 (1-3):95-168.
First-order unification using variable-free relational algebra.Emilio Jesús Gallego Arias, James Lipton, Julio Mariño & Pablo Nogueira - 2011 - Logic Journal of the IGPL 19 (6):790-820.
The undecidability of the DA-Unification problem.J. Siekmann & P. Szabó - 1989 - Journal of Symbolic Logic 54 (2):402 - 414.
Termination and confluence in infinitary term rewriting.P. H. Rodenburg - 1998 - Journal of Symbolic Logic 63 (4):1286-1296.
The Undecidability of the $mathrm{D}_mathrm{A}$-Unification Problem.J. Siekmann & P. Szabó - 1989 - Journal of Symbolic Logic 54 (2):402-414.
Unification in modal and description logics.Franz Baader & Silvio Ghilardi - 2011 - Logic Journal of the IGPL 19 (6):705-730.
Foundations of nominal techniques: logic and semantics of variables in abstract syntax.Murdoch J. Gabbay - 2011 - Bulletin of Symbolic Logic 17 (2):161-229.
The ineliminability of non-nominal quantification.David Dolby - unknown
On the expressive power of game sentences.Juha Oikkonen - 1982 - Bulletin of the Section of Logic 11 (1-2):40-45.
Discussion: Unification and Predictive Accuracy.Malcolm Forster - unknown
Discussion: Unification and predictive accuracy.Malcolm Forster - manuscript

Analytics

Added to PP
2016-06-30

Downloads
18 (#829,320)

6 months
1 (#1,464,097)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references