Matches in DBpedia 2016-04 for { <http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD472.PDF> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- EWD472.PDF accessdate "2006-08-16".
- EWD472.PDF authorlink "E. W. Dijkstra".
- EWD472.PDF first "Edsger W".
- EWD472.PDF format "PDF".
- EWD472.PDF isCitedBy Guarded_Command_Language.
- EWD472.PDF isCitedBy List_of_Dutch_inventions_and_discoveries.
- EWD472.PDF last "Dijkstra".
- EWD472.PDF title "EWD472: Guarded commands, non-determinacy and formal. derivation of programs.".
- EWD472.PDF url EWD472.PDF.