Matches in SemOpenAlex for { <https://semopenalex.org/work/W3106456356> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W3106456356 endingPage "81" @default.
- W3106456356 startingPage "67" @default.
- W3106456356 abstract "A parameterised Boolean equation system (PBES) is a set of equations that defines sets satisfying the equations as the least and/or greatest fixed-points. Thus this system is regarded as a declarative program defining predicates, where a program execution returns whether a given ground atomic formula holds or not. The program execution corresponds to the membership problem of PBESs, which is however undecidable in general. This paper proposes a subclass of PBESs which expresses universal-quantifiers free formulas, and studies a technique to solve the problem on it. We use the fact that the membership problem is reduced to the problem whether a proof graph exists. To check the latter problem, we introduce a so-called dependency space which is a graph containing all of the minimal proof graphs. Dependency spaces are, however, infinite in general. Thus, we propose some conditions for equivalence relations to preserve the result of the membership problem, then we identify two vertices as the same under the relation. In this sense, dependency spaces possibly result in a finite graph. We show some examples having infinite dependency spaces which are reducible to finite graphs by equivalence relations. We provide a procedure to construct finite dependency spaces and show the soundness of the procedure. We also implement the procedure using an SMT solver and experiment on some examples including a downsized McCarthy 91 function." @default.
- W3106456356 created "2020-11-23" @default.
- W3106456356 creator A5012398533 @default.
- W3106456356 creator A5054861254 @default.
- W3106456356 date "2018-02-16" @default.
- W3106456356 modified "2023-09-25" @default.
- W3106456356 title "Reduced Dependency Spaces for Existential Parameterised Boolean Equation Systems" @default.
- W3106456356 cites W1480909796 @default.
- W3106456356 cites W1497571013 @default.
- W3106456356 cites W1505844087 @default.
- W3106456356 cites W1605821400 @default.
- W3106456356 cites W1902047993 @default.
- W3106456356 cites W2125656483 @default.
- W3106456356 cites W2127574686 @default.
- W3106456356 cites W2135206952 @default.
- W3106456356 cites W2139470733 @default.
- W3106456356 cites W2140317178 @default.
- W3106456356 cites W2158311980 @default.
- W3106456356 cites W2170933628 @default.
- W3106456356 cites W2295571705 @default.
- W3106456356 cites W2950716356 @default.
- W3106456356 cites W4214702250 @default.
- W3106456356 doi "https://doi.org/10.4204/eptcs.265.6" @default.
- W3106456356 hasPublicationYear "2018" @default.
- W3106456356 type Work @default.
- W3106456356 sameAs 3106456356 @default.
- W3106456356 citedByCount "2" @default.
- W3106456356 countsByYear W31064563562018 @default.
- W3106456356 countsByYear W31064563562022 @default.
- W3106456356 crossrefType "journal-article" @default.
- W3106456356 hasAuthorship W3106456356A5012398533 @default.
- W3106456356 hasAuthorship W3106456356A5054861254 @default.
- W3106456356 hasBestOaLocation W31064563561 @default.
- W3106456356 hasConcept C115903868 @default.
- W3106456356 hasConcept C118615104 @default.
- W3106456356 hasConcept C132525143 @default.
- W3106456356 hasConcept C153269930 @default.
- W3106456356 hasConcept C16311509 @default.
- W3106456356 hasConcept C192034797 @default.
- W3106456356 hasConcept C19768560 @default.
- W3106456356 hasConcept C199360897 @default.
- W3106456356 hasConcept C2780069185 @default.
- W3106456356 hasConcept C33923547 @default.
- W3106456356 hasConcept C39920170 @default.
- W3106456356 hasConcept C41008148 @default.
- W3106456356 hasConceptScore W3106456356C115903868 @default.
- W3106456356 hasConceptScore W3106456356C118615104 @default.
- W3106456356 hasConceptScore W3106456356C132525143 @default.
- W3106456356 hasConceptScore W3106456356C153269930 @default.
- W3106456356 hasConceptScore W3106456356C16311509 @default.
- W3106456356 hasConceptScore W3106456356C192034797 @default.
- W3106456356 hasConceptScore W3106456356C19768560 @default.
- W3106456356 hasConceptScore W3106456356C199360897 @default.
- W3106456356 hasConceptScore W3106456356C2780069185 @default.
- W3106456356 hasConceptScore W3106456356C33923547 @default.
- W3106456356 hasConceptScore W3106456356C39920170 @default.
- W3106456356 hasConceptScore W3106456356C41008148 @default.
- W3106456356 hasLocation W31064563561 @default.
- W3106456356 hasLocation W31064563562 @default.
- W3106456356 hasLocation W31064563563 @default.
- W3106456356 hasOpenAccess W3106456356 @default.
- W3106456356 hasPrimaryLocation W31064563561 @default.
- W3106456356 hasRelatedWork W2379773790 @default.
- W3106456356 hasRelatedWork W2404283144 @default.
- W3106456356 hasRelatedWork W2430210575 @default.
- W3106456356 hasRelatedWork W2795955005 @default.
- W3106456356 hasRelatedWork W2903136963 @default.
- W3106456356 hasRelatedWork W3200266554 @default.
- W3106456356 hasRelatedWork W3203028781 @default.
- W3106456356 hasRelatedWork W3203251273 @default.
- W3106456356 hasRelatedWork W4310608751 @default.
- W3106456356 hasRelatedWork W4382201703 @default.
- W3106456356 hasVolume "265" @default.
- W3106456356 isParatext "false" @default.
- W3106456356 isRetracted "false" @default.
- W3106456356 magId "3106456356" @default.
- W3106456356 workType "article" @default.