FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2014969648> ?p ?o ?g. }

• W2014969648 abstract "We investigate the decidability and complexity status of model-checking problems on unlabelled reachability graphs of Petri nets by considering first-order and modal languages without labels on transitions or atomic propositions on markings. We consider several parameters to separate decidable problems from undecidable ones. Not only are we able to provide precise borders and a systematic analysis, but we also demonstrate the robustness of our proof techniques." @default.
• W2014969648 created "2016-06-24" @default.
• W2014969648 creator A5033780636 @default.
• W2014969648 creator A5060413318 @default.
• W2014969648 creator A5085643838 @default.
• W2014969648 creator A5091184775 @default.
• W2014969648 date "2012-10-22" @default.
• W2014969648 modified "2023-10-16" @default.
• W2014969648 title "Petri Net Reachability Graphs: Decidability Status of First Order Properties" @default.
• W2014969648 cites W1506102917 @default.
• W2014969648 cites W1506645925 @default.
• W2014969648 cites W1514194201 @default.
• W2014969648 cites W1540012118 @default.
• W2014969648 cites W1540580590 @default.
• W2014969648 cites W1547584984 @default.
• W2014969648 cites W1575098094 @default.
• W2014969648 cites W1580879785 @default.
• W2014969648 cites W1589421353 @default.
• W2014969648 cites W1597840949 @default.
• W2014969648 cites W170987886 @default.
• W2014969648 cites W1938261175 @default.
• W2014969648 cites W1964874178 @default.
• W2014969648 cites W1970398023 @default.
• W2014969648 cites W1975261774 @default.
• W2014969648 cites W1989788631 @default.
• W2014969648 cites W2005312844 @default.
• W2014969648 cites W2008435081 @default.
• W2014969648 cites W2017315323 @default.
• W2014969648 cites W2023999667 @default.
• W2014969648 cites W2027710994 @default.
• W2014969648 cites W2078521778 @default.
• W2014969648 cites W2084570980 @default.
• W2014969648 cites W2086631659 @default.
• W2014969648 cites W2089107726 @default.
• W2014969648 cites W2089336326 @default.
• W2014969648 cites W2092241081 @default.
• W2014969648 cites W2098676070 @default.
• W2014969648 cites W2103281351 @default.
• W2014969648 cites W2106001218 @default.
• W2014969648 cites W2158243788 @default.
• W2014969648 cites W2162339458 @default.
• W2014969648 cites W2164003033 @default.
• W2014969648 cites W2296095876 @default.
• W2014969648 cites W2397702218 @default.
• W2014969648 cites W2610670723 @default.
• W2014969648 cites W2485149744 @default.
• W2014969648 cites W2513569823 @default.
• W2014969648 cites W2585808314 @default.
• W2014969648 doi "https://doi.org/10.2168/lmcs-8(4:9)2012" @default.
• W2014969648 hasPublicationYear "2012" @default.
• W2014969648 type Work @default.
• W2014969648 sameAs 2014969648 @default.
• W2014969648 citedByCount "6" @default.
• W2014969648 countsByYear W20149696482013 @default.
• W2014969648 countsByYear W20149696482018 @default.
• W2014969648 countsByYear W20149696482020 @default.
• W2014969648 countsByYear W20149696482021 @default.
• W2014969648 crossrefType "journal-article" @default.
• W2014969648 hasAuthorship W2014969648A5033780636 @default.
• W2014969648 hasAuthorship W2014969648A5060413318 @default.
• W2014969648 hasAuthorship W2014969648A5085643838 @default.
• W2014969648 hasAuthorship W2014969648A5091184775 @default.
• W2014969648 hasBestOaLocation W20149696481 @default.
• W2014969648 hasConcept C104317684 @default.
• W2014969648 hasConcept C11413529 @default.
• W2014969648 hasConcept C118615104 @default.
• W2014969648 hasConcept C136643341 @default.
• W2014969648 hasConcept C153269930 @default.
• W2014969648 hasConcept C185592680 @default.
• W2014969648 hasConcept C192034797 @default.
• W2014969648 hasConcept C197551870 @default.
• W2014969648 hasConcept C2777669093 @default.
• W2014969648 hasConcept C33923547 @default.
• W2014969648 hasConcept C38677869 @default.
• W2014969648 hasConcept C41008148 @default.
• W2014969648 hasConcept C55493867 @default.
• W2014969648 hasConcept C63479239 @default.
• W2014969648 hasConcept C80444323 @default.
• W2014969648 hasConceptScore W2014969648C104317684 @default.
• W2014969648 hasConceptScore W2014969648C11413529 @default.
• W2014969648 hasConceptScore W2014969648C118615104 @default.
• W2014969648 hasConceptScore W2014969648C136643341 @default.
• W2014969648 hasConceptScore W2014969648C153269930 @default.
• W2014969648 hasConceptScore W2014969648C185592680 @default.
• W2014969648 hasConceptScore W2014969648C192034797 @default.
• W2014969648 hasConceptScore W2014969648C197551870 @default.
• W2014969648 hasConceptScore W2014969648C2777669093 @default.
• W2014969648 hasConceptScore W2014969648C33923547 @default.
• W2014969648 hasConceptScore W2014969648C38677869 @default.
• W2014969648 hasConceptScore W2014969648C41008148 @default.
• W2014969648 hasConceptScore W2014969648C55493867 @default.
• W2014969648 hasConceptScore W2014969648C63479239 @default.
• W2014969648 hasConceptScore W2014969648C80444323 @default.
• W2014969648 hasLocation W20149696481 @default.
• W2014969648 hasLocation W20149696482 @default.
• W2014969648 hasLocation W20149696483 @default.
• W2014969648 hasLocation W20149696484 @default.
• W2014969648 hasLocation W20149696485 @default.
• W2014969648 hasLocation W20149696486 @default.
• W2014969648 hasLocation W20149696487 @default.

• next