Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912692218> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2912692218 endingPage "195" @default.
- W2912692218 startingPage "167" @default.
- W2912692218 abstract "In this paper, we study operational termination, a proof theoretical notion for capturing the termination behavior of computational systems. We prove that operational termination can be characterized at different levels by means of well-founded relations on specific formulas which can be obtained from the considered system. We show how to obtain such well-founded relations from logical models which can be automatically generated using existing tools." @default.
- W2912692218 created "2019-02-21" @default.
- W2912692218 creator A5012146310 @default.
- W2912692218 date "2019-02-11" @default.
- W2912692218 modified "2023-10-14" @default.
- W2912692218 title "Using Well-Founded Relations for Proving Operational Termination" @default.
- W2912692218 cites W1026721552 @default.
- W2912692218 cites W1480168175 @default.
- W2912692218 cites W1552961498 @default.
- W2912692218 cites W1556743088 @default.
- W2912692218 cites W1677884663 @default.
- W2912692218 cites W2000387514 @default.
- W2912692218 cites W2000826973 @default.
- W2912692218 cites W2001932052 @default.
- W2912692218 cites W2002365313 @default.
- W2912692218 cites W2011361820 @default.
- W2912692218 cites W2016262003 @default.
- W2912692218 cites W2019496318 @default.
- W2912692218 cites W2029176884 @default.
- W2912692218 cites W2088747311 @default.
- W2912692218 cites W2090855107 @default.
- W2912692218 cites W2091448415 @default.
- W2912692218 cites W2099083823 @default.
- W2912692218 cites W2150223040 @default.
- W2912692218 cites W2295833488 @default.
- W2912692218 cites W2333572417 @default.
- W2912692218 cites W2734627336 @default.
- W2912692218 cites W2799786954 @default.
- W2912692218 cites W4206829564 @default.
- W2912692218 cites W4230919050 @default.
- W2912692218 cites W4251912342 @default.
- W2912692218 cites W91193428 @default.
- W2912692218 doi "https://doi.org/10.1007/s10817-019-09514-2" @default.
- W2912692218 hasPublicationYear "2019" @default.
- W2912692218 type Work @default.
- W2912692218 sameAs 2912692218 @default.
- W2912692218 citedByCount "3" @default.
- W2912692218 countsByYear W29126922182019 @default.
- W2912692218 countsByYear W29126922182020 @default.
- W2912692218 crossrefType "journal-article" @default.
- W2912692218 hasAuthorship W2912692218A5012146310 @default.
- W2912692218 hasBestOaLocation W29126922182 @default.
- W2912692218 hasConcept C199360897 @default.
- W2912692218 hasConcept C41008148 @default.
- W2912692218 hasConcept C80444323 @default.
- W2912692218 hasConceptScore W2912692218C199360897 @default.
- W2912692218 hasConceptScore W2912692218C41008148 @default.
- W2912692218 hasConceptScore W2912692218C80444323 @default.
- W2912692218 hasFunder F4320321864 @default.
- W2912692218 hasIssue "2" @default.
- W2912692218 hasLocation W29126922181 @default.
- W2912692218 hasLocation W29126922182 @default.
- W2912692218 hasOpenAccess W2912692218 @default.
- W2912692218 hasPrimaryLocation W29126922181 @default.
- W2912692218 hasRelatedWork W1527862632 @default.
- W2912692218 hasRelatedWork W2109507516 @default.
- W2912692218 hasRelatedWork W2112962394 @default.
- W2912692218 hasRelatedWork W2118300983 @default.
- W2912692218 hasRelatedWork W2135396778 @default.
- W2912692218 hasRelatedWork W2166247150 @default.
- W2912692218 hasRelatedWork W2740990710 @default.
- W2912692218 hasRelatedWork W3137189469 @default.
- W2912692218 hasRelatedWork W4235530921 @default.
- W2912692218 hasRelatedWork W4243252198 @default.
- W2912692218 hasVolume "64" @default.
- W2912692218 isParatext "false" @default.
- W2912692218 isRetracted "false" @default.
- W2912692218 magId "2912692218" @default.
- W2912692218 workType "article" @default.