Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Demonic_non-determinism> ?p ?o. }
Showing items 1 to 11 of
11
with 100 items per page.
- Demonic_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 non-termination.".
- Demonic_non-determinism wikiPageID "39975535".
- Demonic_non-determinism wikiPageRevisionID "570751342".
- Demonic_non-determinism subject Category:Theoretical_computer_science.
- Demonic_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 non-termination.".
- Demonic_non-determinism label "Demonic non-determinism".
- Demonic_non-determinism sameAs m.0wbnh9x.
- Demonic_non-determinism sameAs Q16868751.
- Demonic_non-determinism sameAs Q16868751.
- Demonic_non-determinism wasDerivedFrom Demonic_non-determinism?oldid=570751342.
- Demonic_non-determinism isPrimaryTopicOf Demonic_non-determinism.