Matches in SemOpenAlex for { <https://semopenalex.org/work/W197252015> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W197252015 endingPage "240" @default.
- W197252015 startingPage "225" @default.
- W197252015 abstract "We introduce a technique to prove non-termination of term rewrite systems automatically. Our technique improves over previous approaches substantially, as it can also detect non-looping non-termination." @default.
- W197252015 created "2016-06-24" @default.
- W197252015 creator A5025232172 @default.
- W197252015 creator A5050663198 @default.
- W197252015 creator A5064677652 @default.
- W197252015 date "2012-01-01" @default.
- W197252015 modified "2023-09-24" @default.
- W197252015 title "Proving Non-looping Non-termination Automatically" @default.
- W197252015 cites W1494959176 @default.
- W197252015 cites W1495249746 @default.
- W197252015 cites W1508261706 @default.
- W197252015 cites W1594470156 @default.
- W197252015 cites W1970844917 @default.
- W197252015 cites W1972319677 @default.
- W197252015 cites W2001932052 @default.
- W197252015 cites W2093130576 @default.
- W197252015 cites W2115636831 @default.
- W197252015 cites W2168096396 @default.
- W197252015 cites W4206829564 @default.
- W197252015 cites W91193428 @default.
- W197252015 doi "https://doi.org/10.1007/978-3-642-31365-3_19" @default.
- W197252015 hasPublicationYear "2012" @default.
- W197252015 type Work @default.
- W197252015 sameAs 197252015 @default.
- W197252015 citedByCount "22" @default.
- W197252015 countsByYear W1972520152013 @default.
- W197252015 countsByYear W1972520152014 @default.
- W197252015 countsByYear W1972520152015 @default.
- W197252015 countsByYear W1972520152016 @default.
- W197252015 countsByYear W1972520152018 @default.
- W197252015 countsByYear W1972520152019 @default.
- W197252015 countsByYear W1972520152020 @default.
- W197252015 countsByYear W1972520152021 @default.
- W197252015 crossrefType "book-chapter" @default.
- W197252015 hasAuthorship W197252015A5025232172 @default.
- W197252015 hasAuthorship W197252015A5050663198 @default.
- W197252015 hasAuthorship W197252015A5064677652 @default.
- W197252015 hasBestOaLocation W1972520152 @default.
- W197252015 hasConcept C199360897 @default.
- W197252015 hasConcept C41008148 @default.
- W197252015 hasConceptScore W197252015C199360897 @default.
- W197252015 hasConceptScore W197252015C41008148 @default.
- W197252015 hasLocation W1972520151 @default.
- W197252015 hasLocation W1972520152 @default.
- W197252015 hasOpenAccess W197252015 @default.
- W197252015 hasPrimaryLocation W1972520151 @default.
- W197252015 hasRelatedWork W1527862632 @default.
- W197252015 hasRelatedWork W2109507516 @default.
- W197252015 hasRelatedWork W2112962394 @default.
- W197252015 hasRelatedWork W2118300983 @default.
- W197252015 hasRelatedWork W2166247150 @default.
- W197252015 hasRelatedWork W2382501300 @default.
- W197252015 hasRelatedWork W2740990710 @default.
- W197252015 hasRelatedWork W3137189469 @default.
- W197252015 hasRelatedWork W4235530921 @default.
- W197252015 hasRelatedWork W4243252198 @default.
- W197252015 isParatext "false" @default.
- W197252015 isRetracted "false" @default.
- W197252015 magId "197252015" @default.
- W197252015 workType "book-chapter" @default.