Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Angelic_non-determinism> ?p ?o }
Showing triples 1 to 21 of
21
with 100 triples per page.
- Angelic_non-determinism abstract "A term coined by C.A.R Hoare, which describes the execution of a non-deterministic program where all choices that are made favor termination.".
- Angelic_non-determinism wikiPageID "39975515".
- Angelic_non-determinism wikiPageLength "310".
- Angelic_non-determinism wikiPageOutDegree "3".
- Angelic_non-determinism wikiPageRevisionID "570751024".
- Angelic_non-determinism wikiPageWikiLink Category:Theoretical_computer_science.
- Angelic_non-determinism wikiPageWikiLink Non-deterministic_program.
- Angelic_non-determinism wikiPageWikiLink Nondeterministic_programming.
- Angelic_non-determinism wikiPageWikiLink Tony_Hoare.
- Angelic_non-determinism hasPhotoCollection Angelic_non-determinism.
- Angelic_non-determinism wikiPageUsesTemplate Template:Comp-sci-theory-stub.
- Angelic_non-determinism wikiPageUsesTemplate Template:Multiple_issues.
- Angelic_non-determinism subject Category:Theoretical_computer_science.
- Angelic_non-determinism hypernym Termination.
- Angelic_non-determinism comment "A term coined by C.A.R Hoare, which describes the execution of a non-deterministic program where all choices that are made favor termination.".
- Angelic_non-determinism label "Angelic non-determinism".
- Angelic_non-determinism sameAs m.0wbm3vk.
- Angelic_non-determinism sameAs Q16828493.
- Angelic_non-determinism sameAs Q16828493.
- Angelic_non-determinism wasDerivedFrom Angelic_non-determinism?oldid=570751024.
- Angelic_non-determinism isPrimaryTopicOf Angelic_non-determinism.