Matches in SemOpenAlex for { <https://semopenalex.org/work/W2186244857> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2186244857 abstract "A self-contained proof of the decidability of bisimulation equivalence for first-order grammars is given. This provides an alternative for Senizergues' decidability proof (1998,2005) for nondeterministic pushdown automata with deterministic popping -steps, which generalized his decidability proof for language equivalence of deter- ministic pushdown automata." @default.
- W2186244857 created "2016-06-24" @default.
- W2186244857 creator A5015376574 @default.
- W2186244857 date "2011-01-01" @default.
- W2186244857 modified "2023-09-27" @default.
- W2186244857 title "Decidability of Bisimulation Equivalence for" @default.
- W2186244857 cites W2022264236 @default.
- W2186244857 cites W2111753126 @default.
- W2186244857 hasPublicationYear "2011" @default.
- W2186244857 type Work @default.
- W2186244857 sameAs 2186244857 @default.
- W2186244857 citedByCount "0" @default.
- W2186244857 crossrefType "journal-article" @default.
- W2186244857 hasAuthorship W2186244857A5015376574 @default.
- W2186244857 hasConcept C112505250 @default.
- W2186244857 hasConcept C11413529 @default.
- W2186244857 hasConcept C116248031 @default.
- W2186244857 hasConcept C118615104 @default.
- W2186244857 hasConcept C134083981 @default.
- W2186244857 hasConcept C135315306 @default.
- W2186244857 hasConcept C153269930 @default.
- W2186244857 hasConcept C158008952 @default.
- W2186244857 hasConcept C167822520 @default.
- W2186244857 hasConcept C176181172 @default.
- W2186244857 hasConcept C177638518 @default.
- W2186244857 hasConcept C186644900 @default.
- W2186244857 hasConcept C199360897 @default.
- W2186244857 hasConcept C27034413 @default.
- W2186244857 hasConcept C2780069185 @default.
- W2186244857 hasConcept C33923547 @default.
- W2186244857 hasConcept C41008148 @default.
- W2186244857 hasConcept C74919329 @default.
- W2186244857 hasConcept C77944639 @default.
- W2186244857 hasConcept C80444323 @default.
- W2186244857 hasConcept C97212296 @default.
- W2186244857 hasConceptScore W2186244857C112505250 @default.
- W2186244857 hasConceptScore W2186244857C11413529 @default.
- W2186244857 hasConceptScore W2186244857C116248031 @default.
- W2186244857 hasConceptScore W2186244857C118615104 @default.
- W2186244857 hasConceptScore W2186244857C134083981 @default.
- W2186244857 hasConceptScore W2186244857C135315306 @default.
- W2186244857 hasConceptScore W2186244857C153269930 @default.
- W2186244857 hasConceptScore W2186244857C158008952 @default.
- W2186244857 hasConceptScore W2186244857C167822520 @default.
- W2186244857 hasConceptScore W2186244857C176181172 @default.
- W2186244857 hasConceptScore W2186244857C177638518 @default.
- W2186244857 hasConceptScore W2186244857C186644900 @default.
- W2186244857 hasConceptScore W2186244857C199360897 @default.
- W2186244857 hasConceptScore W2186244857C27034413 @default.
- W2186244857 hasConceptScore W2186244857C2780069185 @default.
- W2186244857 hasConceptScore W2186244857C33923547 @default.
- W2186244857 hasConceptScore W2186244857C41008148 @default.
- W2186244857 hasConceptScore W2186244857C74919329 @default.
- W2186244857 hasConceptScore W2186244857C77944639 @default.
- W2186244857 hasConceptScore W2186244857C80444323 @default.
- W2186244857 hasConceptScore W2186244857C97212296 @default.
- W2186244857 hasLocation W21862448571 @default.
- W2186244857 hasOpenAccess W2186244857 @default.
- W2186244857 hasPrimaryLocation W21862448571 @default.
- W2186244857 hasRelatedWork W128496866 @default.
- W2186244857 hasRelatedWork W1500396617 @default.
- W2186244857 hasRelatedWork W18618678 @default.
- W2186244857 hasRelatedWork W1990621328 @default.
- W2186244857 hasRelatedWork W1993997214 @default.
- W2186244857 hasRelatedWork W2048217963 @default.
- W2186244857 hasRelatedWork W2055765422 @default.
- W2186244857 hasRelatedWork W2121408865 @default.
- W2186244857 hasRelatedWork W2136937307 @default.
- W2186244857 hasRelatedWork W2178970450 @default.
- W2186244857 hasRelatedWork W2541894000 @default.
- W2186244857 hasRelatedWork W2542491786 @default.
- W2186244857 hasRelatedWork W2911917123 @default.
- W2186244857 hasRelatedWork W2955374611 @default.
- W2186244857 hasRelatedWork W2963458865 @default.
- W2186244857 hasRelatedWork W3030551326 @default.
- W2186244857 hasRelatedWork W3037570608 @default.
- W2186244857 hasRelatedWork W3103530092 @default.
- W2186244857 hasRelatedWork W3104287458 @default.
- W2186244857 hasRelatedWork W2801848061 @default.
- W2186244857 isParatext "false" @default.
- W2186244857 isRetracted "false" @default.
- W2186244857 magId "2186244857" @default.
- W2186244857 workType "article" @default.