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

James Margetson (Selection)

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

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom Ridge, James Margetson: A Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic. TPHOLs 2005: 294-309
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Margetson, Tom Ridge: Completeness theorem. Archive of Formal Proofs 2004: (2004)

Selection of 2 from 4 records - James Margetson has 7 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page