Matches in SemOpenAlex for { <https://semopenalex.org/work/W2011437767> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2011437767 endingPage "457" @default.
- W2011437767 startingPage "437" @default.
- W2011437767 abstract "We claim that the reduction of Post's Correspondence Problem to the decision problem of a theory provides a useful tool for proving undecidability of first order theories given by some interpretation. The goal of this paper is to define a framework for such reduction proofs. The method proposed is illustrated by proving the undecidability of the theory of a term algebra modulo the axioms of associativity and commutativity and of the theory of a partial lexicographic path ordering." @default.
- W2011437767 created "2016-06-24" @default.
- W2011437767 creator A5046601110 @default.
- W2011437767 date "1992-11-01" @default.
- W2011437767 modified "2023-10-18" @default.
- W2011437767 title "A new method for undecidability proofs of first order theories" @default.
- W2011437767 cites W1996177377 @default.
- W2011437767 cites W2012270428 @default.
- W2011437767 cites W2033074970 @default.
- W2011437767 cites W2033288425 @default.
- W2011437767 cites W2035476945 @default.
- W2011437767 cites W2053573751 @default.
- W2011437767 cites W2056096615 @default.
- W2011437767 cites W2086747974 @default.
- W2011437767 cites W2116976042 @default.
- W2011437767 cites W2121757274 @default.
- W2011437767 cites W2914314632 @default.
- W2011437767 cites W4212983671 @default.
- W2011437767 cites W4256369010 @default.
- W2011437767 doi "https://doi.org/10.1016/0747-7171(92)90016-w" @default.
- W2011437767 hasPublicationYear "1992" @default.
- W2011437767 type Work @default.
- W2011437767 sameAs 2011437767 @default.
- W2011437767 citedByCount "46" @default.
- W2011437767 countsByYear W20114377672012 @default.
- W2011437767 countsByYear W20114377672018 @default.
- W2011437767 countsByYear W20114377672019 @default.
- W2011437767 crossrefType "journal-article" @default.
- W2011437767 hasAuthorship W2011437767A5046601110 @default.
- W2011437767 hasBestOaLocation W20114377672 @default.
- W2011437767 hasConcept C10138342 @default.
- W2011437767 hasConcept C108710211 @default.
- W2011437767 hasConcept C111335779 @default.
- W2011437767 hasConcept C114614502 @default.
- W2011437767 hasConcept C118615104 @default.
- W2011437767 hasConcept C136119220 @default.
- W2011437767 hasConcept C159254197 @default.
- W2011437767 hasConcept C159423971 @default.
- W2011437767 hasConcept C162324750 @default.
- W2011437767 hasConcept C167729594 @default.
- W2011437767 hasConcept C182306322 @default.
- W2011437767 hasConcept C183778304 @default.
- W2011437767 hasConcept C199360897 @default.
- W2011437767 hasConcept C202444582 @default.
- W2011437767 hasConcept C2524010 @default.
- W2011437767 hasConcept C33923547 @default.
- W2011437767 hasConcept C41008148 @default.
- W2011437767 hasConcept C527412718 @default.
- W2011437767 hasConcept C54732982 @default.
- W2011437767 hasConceptScore W2011437767C10138342 @default.
- W2011437767 hasConceptScore W2011437767C108710211 @default.
- W2011437767 hasConceptScore W2011437767C111335779 @default.
- W2011437767 hasConceptScore W2011437767C114614502 @default.
- W2011437767 hasConceptScore W2011437767C118615104 @default.
- W2011437767 hasConceptScore W2011437767C136119220 @default.
- W2011437767 hasConceptScore W2011437767C159254197 @default.
- W2011437767 hasConceptScore W2011437767C159423971 @default.
- W2011437767 hasConceptScore W2011437767C162324750 @default.
- W2011437767 hasConceptScore W2011437767C167729594 @default.
- W2011437767 hasConceptScore W2011437767C182306322 @default.
- W2011437767 hasConceptScore W2011437767C183778304 @default.
- W2011437767 hasConceptScore W2011437767C199360897 @default.
- W2011437767 hasConceptScore W2011437767C202444582 @default.
- W2011437767 hasConceptScore W2011437767C2524010 @default.
- W2011437767 hasConceptScore W2011437767C33923547 @default.
- W2011437767 hasConceptScore W2011437767C41008148 @default.
- W2011437767 hasConceptScore W2011437767C527412718 @default.
- W2011437767 hasConceptScore W2011437767C54732982 @default.
- W2011437767 hasIssue "5" @default.
- W2011437767 hasLocation W20114377671 @default.
- W2011437767 hasLocation W20114377672 @default.
- W2011437767 hasOpenAccess W2011437767 @default.
- W2011437767 hasPrimaryLocation W20114377671 @default.
- W2011437767 hasRelatedWork W1850690851 @default.
- W2011437767 hasRelatedWork W1862544530 @default.
- W2011437767 hasRelatedWork W2067633203 @default.
- W2011437767 hasRelatedWork W2164911517 @default.
- W2011437767 hasRelatedWork W2886060930 @default.
- W2011437767 hasRelatedWork W2950310012 @default.
- W2011437767 hasRelatedWork W2952912161 @default.
- W2011437767 hasRelatedWork W3111698117 @default.
- W2011437767 hasRelatedWork W4289693924 @default.
- W2011437767 hasRelatedWork W4302322145 @default.
- W2011437767 hasVolume "14" @default.
- W2011437767 isParatext "false" @default.
- W2011437767 isRetracted "false" @default.
- W2011437767 magId "2011437767" @default.
- W2011437767 workType "article" @default.