Informatics Report Series

Report   

EDI-INF-RR-0693

Related Pages
Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index
Home
Title:Nuprl. Ch 14 of "The Seventeen Provers of the World", Freek Wiedijk ed, foreword by Dana Scott.
Authors: Paul Jackson
Date:Jan 2006
Publication Title:Lecture Notes in Computer Science
Publisher:Springer
Publication Type:Book Chapter Publication Status:Published
Volume No:3600 Page Nos:116-126
DOI:10.1007/11542384_16 ISBN/ISSN:0302-9743
Links To Paper
1st link
2nd link
Bibtex format
@InBook{EDI-INF-RR-0693,
author = { Paul Jackson },
title = {Nuprl. Ch 14 of "The Seventeen Provers of the World", Freek Wiedijk ed, foreword by Dana Scott.},
book title = {Lecture Notes in Computer Science},
publisher = {Springer},
year = 2006,
month = {Jan},
volume = {3600},
pages = {116-126},
doi = {10.1007/11542384_16},
url = {http://dx.doi.org/10.1007/11542384_16},
}


Home : Publications : Report 

Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh