dblp.uni-trier.dewww.uni-trier.de

Chris Goad

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2001
4EEChris Goad: Describing Computation within RDF. SWWS 2001: 361-380
3 Chris Goad: Describing Computation within RDF. The Emerging Semantic Web 2001
1982
2 Chris Goad: Automatic Construction of Special Purpose Programs. CADE 1982: 194-208
1980
1 Chris Goad: Proofs as Description of Computation. CADE 1980: 39-52

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)