The Collection of
Computer Science Bibliographies

Bibliography on Automated Deduction and its Applications

[   About   |  Browse   |   Statistics   ]

Number of references:2178Last update:November 16, 2010
Number of online publications:341Supported:yes
Most recent reference:2011

in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

Information on the Bibliography

Reiner Hähnle <reiner @ chalmers . se> (email mangled to prevent spamming)
Chalmers Technical University
Department of Computing Science
S-412 96 Gothenburg
Reiner Hähnle
Bibliography on automated deduction, in particular in non-classical logics and tableau methods; many-valued logic
deduction, logic, semantic tableaux

Browsing the bibliography

Bibliographic Statistics

inproceedings(688), article(632), book(318), techreport(189), incollection(136), unpublished(51), manual(48), phdthesis(47), misc(33), mastersthesis(19), proceedings(14), booklet(3)
title(2178), year(2174), author(2093), pages(1231), publisher(1011), volume(974), booktitle(824), journal(635), month(580), editor(578), number(577), series(474), keywords(284), note(226), url(203), isbn_issn(202), institution(193), location(107), address(106), type(93), school(66), annote(59), organization(53), edition(50), chapter(33), howpublished(31), key(20), doi(10), doi-url(10), review(5), issn(3), mycrossref(3), addresse(1), isbn(1)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!