FRINK Linked Data Fragments server

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

• W3040061435 endingPage "435" @default.
• W3040061435 startingPage "416" @default.
• W3040061435 abstract "In the realm of term rewriting, given terms s and t, a reachability condition $$s rightarrow ^* t$$ is called feasible if there is a substitution $$sigma $$ such that $$sigma (s)$$ rewrites into $$sigma (t)$$ in zero or more steps; otherwise, it is called infeasible. Checking infeasibility of (sequences of) reachability conditions is important in the analysis of computational properties of rewrite systems like confluence or (operational) termination. In this paper, we generalize this notion of feasibility to arbitrary n-ary relations on terms defined by first-order theories. In this way, properties of computational systems whose operational semantics can be given as a first-order theory can be investigated. We introduce a framework for proving feasibility/infeasibility, and a new tool, infChecker, which implements it." @default.
• W3040061435 created "2020-07-10" @default.
• W3040061435 creator A5012146310 @default.
• W3040061435 creator A5061149093 @default.
• W3040061435 date "2020-01-01" @default.
• W3040061435 modified "2023-09-30" @default.
• W3040061435 title "Automatically Proving and Disproving Feasibility Conditions" @default.
• W3040061435 cites W1552961498 @default.
• W3040061435 cites W1556743088 @default.
• W3040061435 cites W1819637175 @default.
• W3040061435 cites W2001932052 @default.
• W3040061435 cites W2002365313 @default.
• W3040061435 cites W2091448415 @default.
• W3040061435 cites W2121757274 @default.
• W3040061435 cites W2394981874 @default.
• W3040061435 cites W2799786954 @default.
• W3040061435 cites W2800121675 @default.
• W3040061435 cites W2810893545 @default.
• W3040061435 cites W2833946054 @default.
• W3040061435 cites W2886482294 @default.
• W3040061435 cites W2912692218 @default.
• W3040061435 cites W2927777979 @default.
• W3040061435 cites W2927789344 @default.
• W3040061435 cites W2929166152 @default.
• W3040061435 cites W2969868654 @default.
• W3040061435 cites W2973608737 @default.
• W3040061435 cites W2999233193 @default.
• W3040061435 doi "https://doi.org/10.1007/978-3-030-51054-1_27" @default.
• W3040061435 hasPublicationYear "2020" @default.
• W3040061435 type Work @default.
• W3040061435 sameAs 3040061435 @default.
• W3040061435 citedByCount "5" @default.
• W3040061435 countsByYear W30400614352020 @default.
• W3040061435 countsByYear W30400614352022 @default.
• W3040061435 countsByYear W30400614352023 @default.
• W3040061435 crossrefType "book-chapter" @default.
• W3040061435 hasAuthorship W3040061435A5012146310 @default.
• W3040061435 hasAuthorship W3040061435A5061149093 @default.
• W3040061435 hasBestOaLocation W30400614351 @default.
• W3040061435 hasConcept C10138342 @default.
• W3040061435 hasConcept C11413529 @default.
• W3040061435 hasConcept C118615104 @default.
• W3040061435 hasConcept C121332964 @default.
• W3040061435 hasConcept C136119220 @default.
• W3040061435 hasConcept C136643341 @default.
• W3040061435 hasConcept C154690210 @default.
• W3040061435 hasConcept C156325763 @default.
• W3040061435 hasConcept C162324750 @default.
• W3040061435 hasConcept C182306322 @default.
• W3040061435 hasConcept C183778304 @default.
• W3040061435 hasConcept C184337299 @default.
• W3040061435 hasConcept C199360897 @default.
• W3040061435 hasConcept C202444582 @default.
• W3040061435 hasConcept C2778049214 @default.
• W3040061435 hasConcept C2778220771 @default.
• W3040061435 hasConcept C33923547 @default.
• W3040061435 hasConcept C41008148 @default.
• W3040061435 hasConcept C62520636 @default.
• W3040061435 hasConcept C77906462 @default.
• W3040061435 hasConcept C80444323 @default.
• W3040061435 hasConceptScore W3040061435C10138342 @default.
• W3040061435 hasConceptScore W3040061435C11413529 @default.
• W3040061435 hasConceptScore W3040061435C118615104 @default.
• W3040061435 hasConceptScore W3040061435C121332964 @default.
• W3040061435 hasConceptScore W3040061435C136119220 @default.
• W3040061435 hasConceptScore W3040061435C136643341 @default.
• W3040061435 hasConceptScore W3040061435C154690210 @default.
• W3040061435 hasConceptScore W3040061435C156325763 @default.
• W3040061435 hasConceptScore W3040061435C162324750 @default.
• W3040061435 hasConceptScore W3040061435C182306322 @default.
• W3040061435 hasConceptScore W3040061435C183778304 @default.
• W3040061435 hasConceptScore W3040061435C184337299 @default.
• W3040061435 hasConceptScore W3040061435C199360897 @default.
• W3040061435 hasConceptScore W3040061435C202444582 @default.
• W3040061435 hasConceptScore W3040061435C2778049214 @default.
• W3040061435 hasConceptScore W3040061435C2778220771 @default.
• W3040061435 hasConceptScore W3040061435C33923547 @default.
• W3040061435 hasConceptScore W3040061435C41008148 @default.
• W3040061435 hasConceptScore W3040061435C62520636 @default.
• W3040061435 hasConceptScore W3040061435C77906462 @default.
• W3040061435 hasConceptScore W3040061435C80444323 @default.
• W3040061435 hasLocation W30400614351 @default.
• W3040061435 hasLocation W30400614352 @default.
• W3040061435 hasOpenAccess W3040061435 @default.
• W3040061435 hasPrimaryLocation W30400614351 @default.
• W3040061435 hasRelatedWork W1502311553 @default.
• W3040061435 hasRelatedWork W1559211365 @default.
• W3040061435 hasRelatedWork W1981466053 @default.
• W3040061435 hasRelatedWork W1986369088 @default.
• W3040061435 hasRelatedWork W2030762481 @default.
• W3040061435 hasRelatedWork W2106305471 @default.
• W3040061435 hasRelatedWork W2417030643 @default.
• W3040061435 hasRelatedWork W2799786954 @default.
• W3040061435 hasRelatedWork W1744983872 @default.
• W3040061435 hasRelatedWork W2788308474 @default.
• W3040061435 isParatext "false" @default.
• W3040061435 isRetracted "false" @default.
• W3040061435 magId "3040061435" @default.

• next