Matches in SemOpenAlex for { <https://semopenalex.org/work/W3196987079> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W3196987079 endingPage "200" @default.
- W3196987079 startingPage "191" @default.
- W3196987079 abstract "The propositional modal μ-calculus is a well-known specification language for labeled transition systems. In this work, we study an extension of this logic with converse modalities and Presburger arithmetic constraints, interpreted over tree models. We describe a satisfiability algorithm based on breadth-first construction of Fischer-Lardner models. An implementation together several experiments are also reported. Furthermore, we also describe an application of the algorithm to solve static analysis problems over semi-structured data." @default.
- W3196987079 created "2021-09-13" @default.
- W3196987079 creator A5016276693 @default.
- W3196987079 creator A5020562592 @default.
- W3196987079 creator A5057195868 @default.
- W3196987079 creator A5057751856 @default.
- W3196987079 creator A5059565478 @default.
- W3196987079 date "2021-01-01" @default.
- W3196987079 modified "2023-09-25" @default.
- W3196987079 title "Mu-Calculus Satisfiability with Arithmetic Constraints" @default.
- W3196987079 doi "https://doi.org/10.15514/ispras-2021-33(2)-12" @default.
- W3196987079 hasPublicationYear "2021" @default.
- W3196987079 type Work @default.
- W3196987079 sameAs 3196987079 @default.
- W3196987079 citedByCount "0" @default.
- W3196987079 crossrefType "journal-article" @default.
- W3196987079 hasAuthorship W3196987079A5016276693 @default.
- W3196987079 hasAuthorship W3196987079A5020562592 @default.
- W3196987079 hasAuthorship W3196987079A5057195868 @default.
- W3196987079 hasAuthorship W3196987079A5057751856 @default.
- W3196987079 hasAuthorship W3196987079A5059565478 @default.
- W3196987079 hasBestOaLocation W31969870791 @default.
- W3196987079 hasConcept C11413529 @default.
- W3196987079 hasConcept C136119220 @default.
- W3196987079 hasConcept C153269930 @default.
- W3196987079 hasConcept C168773769 @default.
- W3196987079 hasConcept C185592680 @default.
- W3196987079 hasConcept C188027245 @default.
- W3196987079 hasConcept C199343813 @default.
- W3196987079 hasConcept C199360897 @default.
- W3196987079 hasConcept C202444582 @default.
- W3196987079 hasConcept C2524010 @default.
- W3196987079 hasConcept C27508121 @default.
- W3196987079 hasConcept C2776809875 @default.
- W3196987079 hasConcept C2777686260 @default.
- W3196987079 hasConcept C2778029271 @default.
- W3196987079 hasConcept C33923547 @default.
- W3196987079 hasConcept C41008148 @default.
- W3196987079 hasConcept C5852641 @default.
- W3196987079 hasConcept C69562738 @default.
- W3196987079 hasConcept C71139939 @default.
- W3196987079 hasConcept C71924100 @default.
- W3196987079 hasConceptScore W3196987079C11413529 @default.
- W3196987079 hasConceptScore W3196987079C136119220 @default.
- W3196987079 hasConceptScore W3196987079C153269930 @default.
- W3196987079 hasConceptScore W3196987079C168773769 @default.
- W3196987079 hasConceptScore W3196987079C185592680 @default.
- W3196987079 hasConceptScore W3196987079C188027245 @default.
- W3196987079 hasConceptScore W3196987079C199343813 @default.
- W3196987079 hasConceptScore W3196987079C199360897 @default.
- W3196987079 hasConceptScore W3196987079C202444582 @default.
- W3196987079 hasConceptScore W3196987079C2524010 @default.
- W3196987079 hasConceptScore W3196987079C27508121 @default.
- W3196987079 hasConceptScore W3196987079C2776809875 @default.
- W3196987079 hasConceptScore W3196987079C2777686260 @default.
- W3196987079 hasConceptScore W3196987079C2778029271 @default.
- W3196987079 hasConceptScore W3196987079C33923547 @default.
- W3196987079 hasConceptScore W3196987079C41008148 @default.
- W3196987079 hasConceptScore W3196987079C5852641 @default.
- W3196987079 hasConceptScore W3196987079C69562738 @default.
- W3196987079 hasConceptScore W3196987079C71139939 @default.
- W3196987079 hasConceptScore W3196987079C71924100 @default.
- W3196987079 hasIssue "2" @default.
- W3196987079 hasLocation W31969870791 @default.
- W3196987079 hasOpenAccess W3196987079 @default.
- W3196987079 hasPrimaryLocation W31969870791 @default.
- W3196987079 hasRelatedWork W1481660686 @default.
- W3196987079 hasRelatedWork W1486142549 @default.
- W3196987079 hasRelatedWork W1554721881 @default.
- W3196987079 hasRelatedWork W1567968780 @default.
- W3196987079 hasRelatedWork W1572100079 @default.
- W3196987079 hasRelatedWork W2099222814 @default.
- W3196987079 hasRelatedWork W2405321979 @default.
- W3196987079 hasRelatedWork W3033959390 @default.
- W3196987079 hasRelatedWork W3196987079 @default.
- W3196987079 hasRelatedWork W1481364580 @default.
- W3196987079 hasVolume "33" @default.
- W3196987079 isParatext "false" @default.
- W3196987079 isRetracted "false" @default.
- W3196987079 magId "3196987079" @default.
- W3196987079 workType "article" @default.