Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:




Library Locked Library locked




Author, Editor

Author(s):

Basin, David A.
Kaufmann, Matt

dblp
dblp



Editor(s):

Huet, Gérard
Plotkin, Gordon

dblp
dblp



BibTeX cite key*:

Basin90b

Title, Booktitle

Title*:

The Boyer-Moore Prover and Nuprl: An Experimental Comparison

Booktitle*:

Logical Frameworks

Event, URLs

URL of the conference:


URL for downloading the paper:


Event Address*:

?

Language:

English

Event Date*
(no longer used):

?

Organization:


Event Start Date:

20 August 2019

Event End Date:

20 August 2019

Publisher

Name*:

Cambridge University Press

URL:


Address*:

Cambridge, UK

Type:


Vol, No, Year, pp.

Series:


Volume:


Number:


Month:


Pages:

90-119

Year*:

1991

VG Wort Pages:


ISBN/ISSN:


Sequence Number:


DOI:




Note, Abstract, ©





Download
Access Level:


Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

experts only

Appearance:



BibTeX Entry:

@INPROCEEDINGS{Basin90b,
AUTHOR = {Basin, David A. and Kaufmann, Matt},
EDITOR = {Huet, G{\'e}rard and Plotkin, Gordon},
TITLE = {The Boyer-Moore Prover and Nuprl: An Experimental Comparison},
BOOKTITLE = {Logical Frameworks},
PUBLISHER = {Cambridge University Press},
YEAR = {1991},
PAGES = {90--119},
ADDRESS = {?},
}


Entry last modified by Christine Kiesel, 08/07/2014
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
[Library]
Created
01/14/1995 06:53:32 PM
Revisions
4.
3.
2.
1.
0.
Editor(s)
Christine Kiesel
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Edit Dates
30.08.2001 10:06:27
21/01/95 21:01:27
17/01/95 20:56:24
15/01/95 15:58:38
14/01/95 19:00:53