FRINK Linked Data Fragments server

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

• W2003000560 endingPage "215" @default.
• W2003000560 startingPage "197" @default.
• W2003000560 abstract "Computing the image of a regular language by the transitive closure of a relation is a central question in regular model checking. In a recent paper Bouajjani et al. [IEEE Comput. Soc. (2001) 399–408] proved that the class of regular languages L – called APC – of the form UjL0,jL1,jL2,j...Lkj,j, where the union is finite and each Li,j is either a single symbol or a language of the form B* with B a subset of the alphabet, is closed under all semi-commutation relations R. Moreover a recursive algorithm on the regular expressions was given to compute R*(L). This paper provides a new approach, based on automata, for the same problem. Our approach produces a simpler and more efficient algorithm which furthermore works for a larger class of regular languages closed under union, intersection, semi-commutation relations and conjugacy. The existence of this new class, PolC, answers the open question proposed in the paper of Bouajjani et al." @default.
• W2003000560 created "2016-06-24" @default.
• W2003000560 creator A5044655455 @default.
• W2003000560 creator A5069883788 @default.
• W2003000560 creator A5081683705 @default.
• W2003000560 date "2007-09-25" @default.
• W2003000560 modified "2023-10-17" @default.
• W2003000560 title "Efficiency of automata in semi-commutation verification techniques" @default.
• W2003000560 cites W1504438699 @default.
• W2003000560 cites W1505482284 @default.
• W2003000560 cites W1513444661 @default.
• W2003000560 cites W1516753891 @default.
• W2003000560 cites W1530940145 @default.
• W2003000560 cites W1539205436 @default.
• W2003000560 cites W1540999307 @default.
• W2003000560 cites W1586140256 @default.
• W2003000560 cites W1851356403 @default.
• W2003000560 cites W1881102326 @default.
• W2003000560 cites W1971521983 @default.
• W2003000560 cites W2006909518 @default.
• W2003000560 cites W2047685009 @default.
• W2003000560 cites W2129335898 @default.
• W2003000560 cites W4230948545 @default.
• W2003000560 cites W4251681602 @default.
• W2003000560 doi "https://doi.org/10.1051/ita:2007029" @default.
• W2003000560 hasPublicationYear "2007" @default.
• W2003000560 type Work @default.
• W2003000560 sameAs 2003000560 @default.
• W2003000560 citedByCount "7" @default.
• W2003000560 countsByYear W20030005602013 @default.
• W2003000560 countsByYear W20030005602014 @default.
• W2003000560 countsByYear W20030005602020 @default.
• W2003000560 countsByYear W20030005602021 @default.
• W2003000560 crossrefType "journal-article" @default.
• W2003000560 hasAuthorship W2003000560A5044655455 @default.
• W2003000560 hasAuthorship W2003000560A5069883788 @default.
• W2003000560 hasAuthorship W2003000560A5081683705 @default.
• W2003000560 hasBestOaLocation W20030005602 @default.
• W2003000560 hasConcept C112505250 @default.
• W2003000560 hasConcept C11413529 @default.
• W2003000560 hasConcept C114614502 @default.
• W2003000560 hasConcept C118615104 @default.
• W2003000560 hasConcept C121329065 @default.
• W2003000560 hasConcept C121332964 @default.
• W2003000560 hasConcept C127413603 @default.
• W2003000560 hasConcept C128896722 @default.
• W2003000560 hasConcept C134400042 @default.
• W2003000560 hasConcept C146834321 @default.
• W2003000560 hasConcept C146978453 @default.
• W2003000560 hasConcept C154945302 @default.
• W2003000560 hasConcept C162324750 @default.
• W2003000560 hasConcept C165801399 @default.
• W2003000560 hasConcept C191399111 @default.
• W2003000560 hasConcept C199360897 @default.
• W2003000560 hasConcept C25343380 @default.
• W2003000560 hasConcept C2777212361 @default.
• W2003000560 hasConcept C2780147050 @default.
• W2003000560 hasConcept C33923547 @default.
• W2003000560 hasConcept C34447519 @default.
• W2003000560 hasConcept C41008148 @default.
• W2003000560 hasConcept C52370388 @default.
• W2003000560 hasConcept C62520636 @default.
• W2003000560 hasConcept C64543145 @default.
• W2003000560 hasConcept C77088390 @default.
• W2003000560 hasConcept C80444323 @default.
• W2003000560 hasConceptScore W2003000560C112505250 @default.
• W2003000560 hasConceptScore W2003000560C11413529 @default.
• W2003000560 hasConceptScore W2003000560C114614502 @default.
• W2003000560 hasConceptScore W2003000560C118615104 @default.
• W2003000560 hasConceptScore W2003000560C121329065 @default.
• W2003000560 hasConceptScore W2003000560C121332964 @default.
• W2003000560 hasConceptScore W2003000560C127413603 @default.
• W2003000560 hasConceptScore W2003000560C128896722 @default.
• W2003000560 hasConceptScore W2003000560C134400042 @default.
• W2003000560 hasConceptScore W2003000560C146834321 @default.
• W2003000560 hasConceptScore W2003000560C146978453 @default.
• W2003000560 hasConceptScore W2003000560C154945302 @default.
• W2003000560 hasConceptScore W2003000560C162324750 @default.
• W2003000560 hasConceptScore W2003000560C165801399 @default.
• W2003000560 hasConceptScore W2003000560C191399111 @default.
• W2003000560 hasConceptScore W2003000560C199360897 @default.
• W2003000560 hasConceptScore W2003000560C25343380 @default.
• W2003000560 hasConceptScore W2003000560C2777212361 @default.
• W2003000560 hasConceptScore W2003000560C2780147050 @default.
• W2003000560 hasConceptScore W2003000560C33923547 @default.
• W2003000560 hasConceptScore W2003000560C34447519 @default.
• W2003000560 hasConceptScore W2003000560C41008148 @default.
• W2003000560 hasConceptScore W2003000560C52370388 @default.
• W2003000560 hasConceptScore W2003000560C62520636 @default.
• W2003000560 hasConceptScore W2003000560C64543145 @default.
• W2003000560 hasConceptScore W2003000560C77088390 @default.
• W2003000560 hasConceptScore W2003000560C80444323 @default.
• W2003000560 hasIssue "2" @default.
• W2003000560 hasLocation W20030005601 @default.
• W2003000560 hasLocation W20030005602 @default.
• W2003000560 hasLocation W20030005603 @default.
• W2003000560 hasLocation W20030005604 @default.
• W2003000560 hasLocation W20030005605 @default.

• next