Matches in SemOpenAlex for { <https://semopenalex.org/work/W3037434615> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W3037434615 abstract "In this thesis we present several results about Second-OrderUnification. It is well known that the Second-Order UnificationProblem is in general undecidable; the frontier between its decidable and undecidable subclasses is thin and it still has not been completely defined.Our purpose is to shed some light on the Second-OrderUnification problem and study some of its variants. We have mainly focused our attention on Context Unification and Linear Second-OrderUnification. Roughly speaking, these problems are variants ofSecond-Order Unification where second-order variables are required to be linear. Context Unification was defined more than ten years ago and its decidability has been an open question since then. Here we make relevant contributions to the study of this question.The first result that we present is a simplification on these problems thanks to curryfication. We show that the ContextUnification problem can be NP-reduced to the Context Unification problem where, apart from variables, just a single binary function symbol, and first-order constants, are used. We also show that a similar result also holds for Second-Order Unification.The main result of this thesis is the definition of a non-trivial sufficient and necessary condition on the unifiers, for the decidability of Context Unification. The condition is called rank-bound conjecture in order to enforce our belief about its truthness. It lies on a non-trivial measure of terms, the rank, and claims that, whenever an instance of the ContextUnification problem is satisfiable, there exists a unifier with a rank not exceeding a certain bound depending on the size of the problem. Under the assumption of this conjecture, we give a reduction of the satisfiability problem for Context Unification to the (decidable) satisfiability problem of Word Unification with regular constraints.Finally, in the same spirit of the extension of Word Unification with reg" @default.
- W3037434615 created "2020-07-02" @default.
- W3037434615 creator A5021854785 @default.
- W3037434615 date "2005-01-01" @default.
- W3037434615 modified "2023-09-23" @default.
- W3037434615 title "On some variants of second-order unification" @default.
- W3037434615 hasPublicationYear "2005" @default.
- W3037434615 type Work @default.
- W3037434615 sameAs 3037434615 @default.
- W3037434615 citedByCount "3" @default.
- W3037434615 countsByYear W30374346152014 @default.
- W3037434615 crossrefType "journal-article" @default.
- W3037434615 hasAuthorship W3037434615A5021854785 @default.
- W3037434615 hasConcept C10138342 @default.
- W3037434615 hasConcept C114614502 @default.
- W3037434615 hasConcept C118615104 @default.
- W3037434615 hasConcept C151730666 @default.
- W3037434615 hasConcept C153269930 @default.
- W3037434615 hasConcept C162324750 @default.
- W3037434615 hasConcept C182306322 @default.
- W3037434615 hasConcept C192034797 @default.
- W3037434615 hasConcept C199360897 @default.
- W3037434615 hasConcept C2779343474 @default.
- W3037434615 hasConcept C33923547 @default.
- W3037434615 hasConcept C41008148 @default.
- W3037434615 hasConcept C86803240 @default.
- W3037434615 hasConcept C96146094 @default.
- W3037434615 hasConceptScore W3037434615C10138342 @default.
- W3037434615 hasConceptScore W3037434615C114614502 @default.
- W3037434615 hasConceptScore W3037434615C118615104 @default.
- W3037434615 hasConceptScore W3037434615C151730666 @default.
- W3037434615 hasConceptScore W3037434615C153269930 @default.
- W3037434615 hasConceptScore W3037434615C162324750 @default.
- W3037434615 hasConceptScore W3037434615C182306322 @default.
- W3037434615 hasConceptScore W3037434615C192034797 @default.
- W3037434615 hasConceptScore W3037434615C199360897 @default.
- W3037434615 hasConceptScore W3037434615C2779343474 @default.
- W3037434615 hasConceptScore W3037434615C33923547 @default.
- W3037434615 hasConceptScore W3037434615C41008148 @default.
- W3037434615 hasConceptScore W3037434615C86803240 @default.
- W3037434615 hasConceptScore W3037434615C96146094 @default.
- W3037434615 hasLocation W30374346151 @default.
- W3037434615 hasOpenAccess W3037434615 @default.
- W3037434615 hasPrimaryLocation W30374346151 @default.
- W3037434615 hasRelatedWork W1424724424 @default.
- W3037434615 hasRelatedWork W1529329831 @default.
- W3037434615 hasRelatedWork W1600167372 @default.
- W3037434615 hasRelatedWork W1820316515 @default.
- W3037434615 hasRelatedWork W191605195 @default.
- W3037434615 hasRelatedWork W2010125230 @default.
- W3037434615 hasRelatedWork W2101017866 @default.
- W3037434615 hasRelatedWork W2104881994 @default.
- W3037434615 hasRelatedWork W2310194302 @default.
- W3037434615 hasRelatedWork W2400646706 @default.
- W3037434615 hasRelatedWork W2407898758 @default.
- W3037434615 hasRelatedWork W2408219248 @default.
- W3037434615 hasRelatedWork W2471942313 @default.
- W3037434615 hasRelatedWork W251367185 @default.
- W3037434615 hasRelatedWork W2742582826 @default.
- W3037434615 hasRelatedWork W2963151688 @default.
- W3037434615 hasRelatedWork W2982409668 @default.
- W3037434615 hasRelatedWork W3022505008 @default.
- W3037434615 hasRelatedWork W3173995747 @default.
- W3037434615 hasRelatedWork W3175213003 @default.
- W3037434615 hasVolume "22" @default.
- W3037434615 isParatext "false" @default.
- W3037434615 isRetracted "false" @default.
- W3037434615 magId "3037434615" @default.
- W3037434615 workType "article" @default.