Matches in SemOpenAlex for { <https://semopenalex.org/work/W1994076373> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W1994076373 abstract "We consider systems of the form M = F ∪ ν, where F is some Post class and ν is a finite system of definite automata. We divide the Post classes into those for which the problem of A-completeness of such systems of definite automata is algorithmically decidable and those for which the problem of A-completeness is algorithmically undecidable." @default.
- W1994076373 created "2016-06-24" @default.
- W1994076373 creator A5060991122 @default.
- W1994076373 date "2010-01-01" @default.
- W1994076373 modified "2023-09-26" @default.
- W1994076373 title "On the classification of Post automaton bases by the decidability of the A-completeness property for definite automata" @default.
- W1994076373 cites W2022579059 @default.
- W1994076373 doi "https://doi.org/10.1515/dma.2010.020" @default.
- W1994076373 hasPublicationYear "2010" @default.
- W1994076373 type Work @default.
- W1994076373 sameAs 1994076373 @default.
- W1994076373 citedByCount "1" @default.
- W1994076373 countsByYear W19940763732022 @default.
- W1994076373 crossrefType "journal-article" @default.
- W1994076373 hasAuthorship W1994076373A5060991122 @default.
- W1994076373 hasConcept C111472728 @default.
- W1994076373 hasConcept C112505250 @default.
- W1994076373 hasConcept C114614502 @default.
- W1994076373 hasConcept C118615104 @default.
- W1994076373 hasConcept C134306372 @default.
- W1994076373 hasConcept C138885662 @default.
- W1994076373 hasConcept C153269930 @default.
- W1994076373 hasConcept C154945302 @default.
- W1994076373 hasConcept C17231256 @default.
- W1994076373 hasConcept C189950617 @default.
- W1994076373 hasConcept C192034797 @default.
- W1994076373 hasConcept C2777212361 @default.
- W1994076373 hasConcept C33923547 @default.
- W1994076373 hasConcept C41008148 @default.
- W1994076373 hasConcept C80444323 @default.
- W1994076373 hasConceptScore W1994076373C111472728 @default.
- W1994076373 hasConceptScore W1994076373C112505250 @default.
- W1994076373 hasConceptScore W1994076373C114614502 @default.
- W1994076373 hasConceptScore W1994076373C118615104 @default.
- W1994076373 hasConceptScore W1994076373C134306372 @default.
- W1994076373 hasConceptScore W1994076373C138885662 @default.
- W1994076373 hasConceptScore W1994076373C153269930 @default.
- W1994076373 hasConceptScore W1994076373C154945302 @default.
- W1994076373 hasConceptScore W1994076373C17231256 @default.
- W1994076373 hasConceptScore W1994076373C189950617 @default.
- W1994076373 hasConceptScore W1994076373C192034797 @default.
- W1994076373 hasConceptScore W1994076373C2777212361 @default.
- W1994076373 hasConceptScore W1994076373C33923547 @default.
- W1994076373 hasConceptScore W1994076373C41008148 @default.
- W1994076373 hasConceptScore W1994076373C80444323 @default.
- W1994076373 hasIssue "3" @default.
- W1994076373 hasLocation W19940763731 @default.
- W1994076373 hasOpenAccess W1994076373 @default.
- W1994076373 hasPrimaryLocation W19940763731 @default.
- W1994076373 hasRelatedWork W1563786920 @default.
- W1994076373 hasRelatedWork W1835836356 @default.
- W1994076373 hasRelatedWork W1994076373 @default.
- W1994076373 hasRelatedWork W2083828733 @default.
- W1994076373 hasRelatedWork W2085838366 @default.
- W1994076373 hasRelatedWork W2293686544 @default.
- W1994076373 hasRelatedWork W2329062893 @default.
- W1994076373 hasRelatedWork W2888756159 @default.
- W1994076373 hasRelatedWork W2963736240 @default.
- W1994076373 hasRelatedWork W4298034970 @default.
- W1994076373 hasVolume "20" @default.
- W1994076373 isParatext "false" @default.
- W1994076373 isRetracted "false" @default.
- W1994076373 magId "1994076373" @default.
- W1994076373 workType "article" @default.