The Collection of
Computer Science Bibliographies
Up: Bibliographies on Theory/Foundations of Computer Science Collection Home

Bibliography on interactive proofs

[   About   |  Browse   |   Statistics   ]

Number of references:194Last update:August 31, 1995
Number of online publications:0Supported:no
Most recent reference:1995

Search the bibliography

Help on: [ Syntax | Options | Compression of results | Improving your query | Query examples ]
Boolean operators:and and or. Use () to group subexpressions.
Query:
Options:      
Results:       compress results (in case of low bandwidth)
Return a maximum of references.

Information on the Bibliography

Author:
Timothy R. Veatch <veatch @ cs . toronto . edu> (email mangled to prevent spamming)
Department of Computer Science
University of Toronto
Toronto, Ontario M5S 1A4
Canada
Author Comments:
Here's a starter bibliography on interactive proofs I created.

Browsing the bibliography

Bibliographic Statistics

Types:
inproceedings(84), article(65), proceedings(19), misc(7), techreport(7), incollection(5), phdthesis(5), book(2)
Fields:
title(193), author(174), year(146), pages(133), volume(68), journal(65), booktitle(63), organization(63), crossref(45), address(21), crossrefonly(20), number(19), month(16), publisher(13), series(11), note(8), institution(7), howpublished(6), school(5), page(3), editor(2), editors(2), volumn(2)

Distribution of publication dates:

Distribution of publication dates

Please direct comments regarding the bibliography collection to <liinwwwa@ira.uka.de>.

This page is part of the Computer Science Bibliography Collection.
Copyright © 1994-2004, Alf-Christian Achilles. All Rights Reserved.