On the complexity of Bounded Second-Order Unification and Stratified Context Unification

, &
Logic Journal of the IGPL 19 (6):763-789 (2011)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzq010

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,471

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

On the complexity of Bounded Second-Order Unification and Stratified Context Unification.Jordi Levy, Manfred Schmidt-schauß & Mateu Villaret - 2011 - Logic Journal of the IGPL 19 (6):763-789.
The undecidability of the second order predicate unification problem.Gilles Amiot - 1990 - Archive for Mathematical Logic 30 (3):193-199.
Newton’s notion and practice of unification.Steffen Ducheyne - 2005 - Studies in History and Philosophy of Science Part A 36 (1):61-78.
Highly constrained unification grammars.Daniel Feinstein & Shuly Wintner - 2008 - Journal of Logic, Language and Information 17 (3):345-381.
Unification neural networks: unification by error-correction learning.Ekaterina Komendantskaya - 2011 - Logic Journal of the IGPL 19 (6):821-847.
Unification: What is it, how do we reach and why do we want it?Erik Weber - 1999 - Synthese 118 (3):479-499.
Unification, the answer to resemblance questions.Erik Weber & Merel Lefevere - 2017 - Synthese 194 (9):3501-3521.
Unification in a A-Calculus with Intersection Types.Michael Kohlhase & Frank Pfenning - unknown
Unification and explanation.Erik Weber & Maarten Van Dyck - 2002 - Synthese 131 (1):145 - 154.
A unification-theoretic method for investigating the k-provability problem.William M. Farmer - 1991 - Annals of Pure and Applied Logic 51 (3):173-214.
Explanatory Unification: Double and Doubtful.Uskali Mäki - 2001 - Philosophy of the Social Sciences 31 (4):488-506.
The causal and unification approaches to explanation unified—causally.Michael Strevens - 2004 - Noûs 38 (1):154–176.
Newton's idea and practice of unification.Steffen Ducheyne - unknown
On the structure of explanatory unification: the case of geographical economics.Uskali Mäki & Caterina Marchionni - 2009 - Studies in History and Philosophy of Science Part A 40 (2):185-195.
Unification in modal and description logics.Franz Baader & Silvio Ghilardi - 2011 - Logic Journal of the IGPL 19 (6):705-730.

Analytics

Added to PP
2016-06-30

Downloads
12 (#1,092,565)

6 months
5 (#649,144)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jared Levy
Bates College

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references