Matches in SemOpenAlex for { <https://semopenalex.org/work/W2004114987> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2004114987 endingPage "197" @default.
- W2004114987 startingPage "183" @default.
- W2004114987 abstract "Existing decision algorithms for bisimulation equivalence for normed context-free processes require at least exponential time. We develop a Σp2 (a subclass of PSPACE) algorithm for deciding bisimulation equivalence for normed context-free processes." @default.
- W2004114987 created "2016-06-24" @default.
- W2004114987 creator A5041303665 @default.
- W2004114987 creator A5073767673 @default.
- W2004114987 date "1994-01-01" @default.
- W2004114987 modified "2023-09-24" @default.
- W2004114987 title "Deciding bisimilarity of normed context-free processes is in Σp2" @default.
- W2004114987 cites W1499210811 @default.
- W2004114987 cites W1503973138 @default.
- W2004114987 cites W1512065894 @default.
- W2004114987 cites W1535681052 @default.
- W2004114987 cites W1547562281 @default.
- W2004114987 cites W1990485264 @default.
- W2004114987 cites W1996761984 @default.
- W2004114987 cites W2002089154 @default.
- W2004114987 cites W2008587618 @default.
- W2004114987 cites W2011039300 @default.
- W2004114987 cites W2021473546 @default.
- W2004114987 cites W2065251436 @default.
- W2004114987 cites W2098981343 @default.
- W2004114987 cites W2116486164 @default.
- W2004114987 cites W2123842443 @default.
- W2004114987 cites W2136326453 @default.
- W2004114987 cites W2161073427 @default.
- W2004114987 cites W2563501856 @default.
- W2004114987 cites W2568825179 @default.
- W2004114987 doi "https://doi.org/10.1016/0304-3975(92)00078-6" @default.
- W2004114987 hasPublicationYear "1994" @default.
- W2004114987 type Work @default.
- W2004114987 sameAs 2004114987 @default.
- W2004114987 citedByCount "26" @default.
- W2004114987 countsByYear W20041149872013 @default.
- W2004114987 countsByYear W20041149872014 @default.
- W2004114987 countsByYear W20041149872015 @default.
- W2004114987 crossrefType "journal-article" @default.
- W2004114987 hasAuthorship W2004114987A5041303665 @default.
- W2004114987 hasAuthorship W2004114987A5073767673 @default.
- W2004114987 hasConcept C11413529 @default.
- W2004114987 hasConcept C118615104 @default.
- W2004114987 hasConcept C135315306 @default.
- W2004114987 hasConcept C151730666 @default.
- W2004114987 hasConcept C179799912 @default.
- W2004114987 hasConcept C197685441 @default.
- W2004114987 hasConcept C2779343474 @default.
- W2004114987 hasConcept C2780069185 @default.
- W2004114987 hasConcept C33923547 @default.
- W2004114987 hasConcept C41008148 @default.
- W2004114987 hasConcept C80444323 @default.
- W2004114987 hasConcept C86803240 @default.
- W2004114987 hasConceptScore W2004114987C11413529 @default.
- W2004114987 hasConceptScore W2004114987C118615104 @default.
- W2004114987 hasConceptScore W2004114987C135315306 @default.
- W2004114987 hasConceptScore W2004114987C151730666 @default.
- W2004114987 hasConceptScore W2004114987C179799912 @default.
- W2004114987 hasConceptScore W2004114987C197685441 @default.
- W2004114987 hasConceptScore W2004114987C2779343474 @default.
- W2004114987 hasConceptScore W2004114987C2780069185 @default.
- W2004114987 hasConceptScore W2004114987C33923547 @default.
- W2004114987 hasConceptScore W2004114987C41008148 @default.
- W2004114987 hasConceptScore W2004114987C80444323 @default.
- W2004114987 hasConceptScore W2004114987C86803240 @default.
- W2004114987 hasIssue "2" @default.
- W2004114987 hasLocation W20041149871 @default.
- W2004114987 hasOpenAccess W2004114987 @default.
- W2004114987 hasPrimaryLocation W20041149871 @default.
- W2004114987 hasRelatedWork W1838042250 @default.
- W2004114987 hasRelatedWork W1888841230 @default.
- W2004114987 hasRelatedWork W2030888138 @default.
- W2004114987 hasRelatedWork W2035669412 @default.
- W2004114987 hasRelatedWork W2069441293 @default.
- W2004114987 hasRelatedWork W2085026104 @default.
- W2004114987 hasRelatedWork W2132900269 @default.
- W2004114987 hasRelatedWork W2135048208 @default.
- W2004114987 hasRelatedWork W2154625854 @default.
- W2004114987 hasRelatedWork W4207042428 @default.
- W2004114987 hasVolume "123" @default.
- W2004114987 isParatext "false" @default.
- W2004114987 isRetracted "false" @default.
- W2004114987 magId "2004114987" @default.
- W2004114987 workType "article" @default.