Matches in SemOpenAlex for { <https://semopenalex.org/work/W2897097556> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2897097556 endingPage "53" @default.
- W2897097556 startingPage "39" @default.
- W2897097556 abstract "Cyclic pre-proofs can be represented as sets of finite tree derivations with back-links. In the frame of the first-order logic with inductive definitions, the nodes of the tree derivations are labelled by sequents and the back-links connect particular terminal nodes, referred to as buds, to other nodes labelled by a same sequent. However, only some back-links can constitute sound pre-proofs. Previously, it has been shown that special ordering and derivability conditions, defined along the minimal cycles of the digraph representing a particular normal form of the cyclic pre-proof, are sufficient for validating the back-links. In that approach, a same constraint could be checked several times when processing different minimal cycles, hence one may require additional recording mechanisms to avoid redundant computation in order to downgrade the time complexity to polynomial. We present a new approach that does not need to process minimal cycles. It based on a normal form that allows to define the validation conditions by taking into account only the root-bud paths from the non-singleton strongly connected components of its digraph." @default.
- W2897097556 created "2018-10-26" @default.
- W2897097556 creator A5058631772 @default.
- W2897097556 date "2018-10-19" @default.
- W2897097556 modified "2023-10-12" @default.
- W2897097556 title "Validating Back-links of FOLID Cyclic Pre-proofs" @default.
- W2897097556 cites W14789509 @default.
- W2897097556 cites W1544876072 @default.
- W2897097556 cites W1549382427 @default.
- W2897097556 cites W1659517711 @default.
- W2897097556 cites W1678934127 @default.
- W2897097556 cites W1999259832 @default.
- W2897097556 cites W2006510146 @default.
- W2897097556 cites W2008920425 @default.
- W2897097556 cites W2039977878 @default.
- W2897097556 cites W2077585224 @default.
- W2897097556 cites W2082381286 @default.
- W2897097556 cites W2084443499 @default.
- W2897097556 cites W2085335923 @default.
- W2897097556 cites W2112145021 @default.
- W2897097556 cites W2113711982 @default.
- W2897097556 cites W2123990062 @default.
- W2897097556 cites W2129156376 @default.
- W2897097556 cites W2156662803 @default.
- W2897097556 cites W2171522258 @default.
- W2897097556 cites W2177357765 @default.
- W2897097556 cites W2204729546 @default.
- W2897097556 cites W2505251503 @default.
- W2897097556 cites W2790318756 @default.
- W2897097556 cites W2794392750 @default.
- W2897097556 cites W4302984605 @default.
- W2897097556 doi "https://doi.org/10.4204/eptcs.281.4" @default.
- W2897097556 hasPublicationYear "2018" @default.
- W2897097556 type Work @default.
- W2897097556 sameAs 2897097556 @default.
- W2897097556 citedByCount "2" @default.
- W2897097556 countsByYear W28970975562021 @default.
- W2897097556 countsByYear W28970975562023 @default.
- W2897097556 crossrefType "journal-article" @default.
- W2897097556 hasAuthorship W2897097556A5058631772 @default.
- W2897097556 hasBestOaLocation W28970975561 @default.
- W2897097556 hasConcept C108710211 @default.
- W2897097556 hasConcept C113174947 @default.
- W2897097556 hasConcept C11413529 @default.
- W2897097556 hasConcept C114614502 @default.
- W2897097556 hasConcept C118615104 @default.
- W2897097556 hasConcept C2524010 @default.
- W2897097556 hasConcept C2779145032 @default.
- W2897097556 hasConcept C33923547 @default.
- W2897097556 hasConcept C41008148 @default.
- W2897097556 hasConcept C80444323 @default.
- W2897097556 hasConcept C89421646 @default.
- W2897097556 hasConceptScore W2897097556C108710211 @default.
- W2897097556 hasConceptScore W2897097556C113174947 @default.
- W2897097556 hasConceptScore W2897097556C11413529 @default.
- W2897097556 hasConceptScore W2897097556C114614502 @default.
- W2897097556 hasConceptScore W2897097556C118615104 @default.
- W2897097556 hasConceptScore W2897097556C2524010 @default.
- W2897097556 hasConceptScore W2897097556C2779145032 @default.
- W2897097556 hasConceptScore W2897097556C33923547 @default.
- W2897097556 hasConceptScore W2897097556C41008148 @default.
- W2897097556 hasConceptScore W2897097556C80444323 @default.
- W2897097556 hasConceptScore W2897097556C89421646 @default.
- W2897097556 hasLocation W28970975561 @default.
- W2897097556 hasLocation W28970975562 @default.
- W2897097556 hasLocation W28970975563 @default.
- W2897097556 hasLocation W28970975564 @default.
- W2897097556 hasLocation W28970975565 @default.
- W2897097556 hasLocation W28970975566 @default.
- W2897097556 hasOpenAccess W2897097556 @default.
- W2897097556 hasPrimaryLocation W28970975561 @default.
- W2897097556 hasRelatedWork W1791184228 @default.
- W2897097556 hasRelatedWork W1975203667 @default.
- W2897097556 hasRelatedWork W1996632063 @default.
- W2897097556 hasRelatedWork W2038088825 @default.
- W2897097556 hasRelatedWork W2140169421 @default.
- W2897097556 hasRelatedWork W2370328482 @default.
- W2897097556 hasRelatedWork W2811365892 @default.
- W2897097556 hasRelatedWork W2921632378 @default.
- W2897097556 hasRelatedWork W325828682 @default.
- W2897097556 hasRelatedWork W4287882779 @default.
- W2897097556 hasVolume "281" @default.
- W2897097556 isParatext "false" @default.
- W2897097556 isRetracted "false" @default.
- W2897097556 magId "2897097556" @default.
- W2897097556 workType "article" @default.