Matches in SemOpenAlex for { <https://semopenalex.org/work/W1815666329> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1815666329 endingPage "885" @default.
- W1815666329 startingPage "882" @default.
- W1815666329 abstract "We consider the termination/non-termination property of a class of loops. Such loops are commonly used abstractions of real program pieces. Second-order logic is a convenient language to express non-termination. Of course, such property is generally undecidable. However, by restricting the language to known decidable cases, we exhibit new classes of loops, the non-termination of which is decidable. We present a bunch of examples." @default.
- W1815666329 created "2016-06-24" @default.
- W1815666329 creator A5002144715 @default.
- W1815666329 creator A5063276563 @default.
- W1815666329 date "2015-11-01" @default.
- W1815666329 modified "2023-10-16" @default.
- W1815666329 title "A second-order formulation of non-termination" @default.
- W1815666329 cites W146333850 @default.
- W1815666329 cites W1541144457 @default.
- W1815666329 cites W1560050980 @default.
- W1815666329 cites W1561261246 @default.
- W1815666329 cites W1575647584 @default.
- W1815666329 cites W1579524364 @default.
- W1815666329 cites W1989813138 @default.
- W1815666329 cites W1993129359 @default.
- W1815666329 cites W1996245589 @default.
- W1815666329 cites W1998131498 @default.
- W1815666329 cites W2138856440 @default.
- W1815666329 cites W2162583406 @default.
- W1815666329 cites W2621404223 @default.
- W1815666329 cites W3105212949 @default.
- W1815666329 doi "https://doi.org/10.1016/j.ipl.2015.05.012" @default.
- W1815666329 hasPublicationYear "2015" @default.
- W1815666329 type Work @default.
- W1815666329 sameAs 1815666329 @default.
- W1815666329 citedByCount "1" @default.
- W1815666329 countsByYear W18156663292015 @default.
- W1815666329 crossrefType "journal-article" @default.
- W1815666329 hasAuthorship W1815666329A5002144715 @default.
- W1815666329 hasAuthorship W1815666329A5063276563 @default.
- W1815666329 hasBestOaLocation W18156663292 @default.
- W1815666329 hasConcept C10138342 @default.
- W1815666329 hasConcept C111472728 @default.
- W1815666329 hasConcept C11413529 @default.
- W1815666329 hasConcept C118615104 @default.
- W1815666329 hasConcept C138885662 @default.
- W1815666329 hasConcept C153269930 @default.
- W1815666329 hasConcept C154945302 @default.
- W1815666329 hasConcept C162324750 @default.
- W1815666329 hasConcept C182306322 @default.
- W1815666329 hasConcept C189950617 @default.
- W1815666329 hasConcept C192034797 @default.
- W1815666329 hasConcept C199360897 @default.
- W1815666329 hasConcept C2777212361 @default.
- W1815666329 hasConcept C33923547 @default.
- W1815666329 hasConcept C41008148 @default.
- W1815666329 hasConceptScore W1815666329C10138342 @default.
- W1815666329 hasConceptScore W1815666329C111472728 @default.
- W1815666329 hasConceptScore W1815666329C11413529 @default.
- W1815666329 hasConceptScore W1815666329C118615104 @default.
- W1815666329 hasConceptScore W1815666329C138885662 @default.
- W1815666329 hasConceptScore W1815666329C153269930 @default.
- W1815666329 hasConceptScore W1815666329C154945302 @default.
- W1815666329 hasConceptScore W1815666329C162324750 @default.
- W1815666329 hasConceptScore W1815666329C182306322 @default.
- W1815666329 hasConceptScore W1815666329C189950617 @default.
- W1815666329 hasConceptScore W1815666329C192034797 @default.
- W1815666329 hasConceptScore W1815666329C199360897 @default.
- W1815666329 hasConceptScore W1815666329C2777212361 @default.
- W1815666329 hasConceptScore W1815666329C33923547 @default.
- W1815666329 hasConceptScore W1815666329C41008148 @default.
- W1815666329 hasIssue "11" @default.
- W1815666329 hasLocation W18156663291 @default.
- W1815666329 hasLocation W18156663292 @default.
- W1815666329 hasLocation W18156663293 @default.
- W1815666329 hasLocation W18156663294 @default.
- W1815666329 hasOpenAccess W1815666329 @default.
- W1815666329 hasPrimaryLocation W18156663291 @default.
- W1815666329 hasRelatedWork W1501430220 @default.
- W1815666329 hasRelatedWork W1563786920 @default.
- W1815666329 hasRelatedWork W1618267488 @default.
- W1815666329 hasRelatedWork W2021891065 @default.
- W1815666329 hasRelatedWork W2056142535 @default.
- W1815666329 hasRelatedWork W2119045600 @default.
- W1815666329 hasRelatedWork W2972379433 @default.
- W1815666329 hasRelatedWork W2989332944 @default.
- W1815666329 hasRelatedWork W4297670065 @default.
- W1815666329 hasRelatedWork W2583549044 @default.
- W1815666329 hasVolume "115" @default.
- W1815666329 isParatext "false" @default.
- W1815666329 isRetracted "false" @default.
- W1815666329 magId "1815666329" @default.
- W1815666329 workType "article" @default.