Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023761713> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2023761713 endingPage "189" @default.
- W2023761713 startingPage "169" @default.
- W2023761713 abstract "Most of the basic decision problems concerning derivations in cooperating distributed grammar systems have so far been open, possibly because of the lack of unifying methods and techniques. In this paper such a unifying device is proposed. It is called a coverability tree because it bears some resemblance to the coverability graph of place/transition Petri nets and vector addition systems. The coverability tree is always finite, which leads to rather strong decidability properties concerning both arbitrary and terminal derivations. Our method is largely independent of the mode of the derivations and answers most of the direct decidability questions about the components of the system." @default.
- W2023761713 created "2016-06-24" @default.
- W2023761713 creator A5034854489 @default.
- W2023761713 date "1999-02-01" @default.
- W2023761713 modified "2023-10-16" @default.
- W2023761713 title "Decidability problems in grammar systems" @default.
- W2023761713 cites W1515624550 @default.
- W2023761713 cites W1525975146 @default.
- W2023761713 cites W1569675579 @default.
- W2023761713 cites W1584587517 @default.
- W2023761713 cites W1994188141 @default.
- W2023761713 cites W204108451 @default.
- W2023761713 cites W2087806148 @default.
- W2023761713 cites W2106001218 @default.
- W2023761713 cites W2113355185 @default.
- W2023761713 cites W2114340842 @default.
- W2023761713 cites W2911830436 @default.
- W2023761713 cites W2914032487 @default.
- W2023761713 doi "https://doi.org/10.1016/s0304-3975(97)00165-5" @default.
- W2023761713 hasPublicationYear "1999" @default.
- W2023761713 type Work @default.
- W2023761713 sameAs 2023761713 @default.
- W2023761713 citedByCount "2" @default.
- W2023761713 crossrefType "journal-article" @default.
- W2023761713 hasAuthorship W2023761713A5034854489 @default.
- W2023761713 hasBestOaLocation W20237617131 @default.
- W2023761713 hasConcept C113174947 @default.
- W2023761713 hasConcept C114614502 @default.
- W2023761713 hasConcept C132525143 @default.
- W2023761713 hasConcept C136119220 @default.
- W2023761713 hasConcept C138885662 @default.
- W2023761713 hasConcept C153269930 @default.
- W2023761713 hasConcept C199360897 @default.
- W2023761713 hasConcept C202444582 @default.
- W2023761713 hasConcept C26022165 @default.
- W2023761713 hasConcept C33923547 @default.
- W2023761713 hasConcept C38677869 @default.
- W2023761713 hasConcept C41008148 @default.
- W2023761713 hasConcept C41895202 @default.
- W2023761713 hasConcept C80444323 @default.
- W2023761713 hasConceptScore W2023761713C113174947 @default.
- W2023761713 hasConceptScore W2023761713C114614502 @default.
- W2023761713 hasConceptScore W2023761713C132525143 @default.
- W2023761713 hasConceptScore W2023761713C136119220 @default.
- W2023761713 hasConceptScore W2023761713C138885662 @default.
- W2023761713 hasConceptScore W2023761713C153269930 @default.
- W2023761713 hasConceptScore W2023761713C199360897 @default.
- W2023761713 hasConceptScore W2023761713C202444582 @default.
- W2023761713 hasConceptScore W2023761713C26022165 @default.
- W2023761713 hasConceptScore W2023761713C33923547 @default.
- W2023761713 hasConceptScore W2023761713C38677869 @default.
- W2023761713 hasConceptScore W2023761713C41008148 @default.
- W2023761713 hasConceptScore W2023761713C41895202 @default.
- W2023761713 hasConceptScore W2023761713C80444323 @default.
- W2023761713 hasIssue "1-2" @default.
- W2023761713 hasLocation W20237617131 @default.
- W2023761713 hasOpenAccess W2023761713 @default.
- W2023761713 hasPrimaryLocation W20237617131 @default.
- W2023761713 hasRelatedWork W1550244413 @default.
- W2023761713 hasRelatedWork W1778149536 @default.
- W2023761713 hasRelatedWork W2293686544 @default.
- W2023761713 hasRelatedWork W2341552178 @default.
- W2023761713 hasRelatedWork W2346489414 @default.
- W2023761713 hasRelatedWork W2355288082 @default.
- W2023761713 hasRelatedWork W2522627362 @default.
- W2023761713 hasRelatedWork W2961758588 @default.
- W2023761713 hasRelatedWork W2993657370 @default.
- W2023761713 hasRelatedWork W2008040316 @default.
- W2023761713 hasVolume "215" @default.
- W2023761713 isParatext "false" @default.
- W2023761713 isRetracted "false" @default.
- W2023761713 magId "2023761713" @default.
- W2023761713 workType "article" @default.