The Collection of
Computer Science Bibliographies

Bibliography on Combination Methods in Automated Reasoning

[   About   |  Browse   |   Statistics   ]

Number of references:242Last update:December 12, 2014
Number of online publications:0Supported:yes
Most recent reference:2005

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

Author:
Cesare Tinelli <tinelli @ cs . uiowa . edu> (email mangled to prevent spamming)
Department of Computer Science
University of Iowa
14 McLean Hall
Iowa City, Iowa 52242
USA
Copyright:
Use and reproduction of this bibliography is granted to anybody provided that its source is acknowledged and no commercial use is made of it.
Keywords:
combination of: unification algorithms, satisfiability procedures, algebraic domains, logical theories
Author Comments:
We invite you to contribute to this database by sending additional entries to tinelli@cs.uiowa.edu

Browsing the bibliography

Bibliographic Statistics

Types:
inproceedings(139), article(57), techreport(19), incollection(15), phdthesis(9), mastersthesis(2), book(1)
Fields:
author(242), title(242), year(242), pages(174), booktitle(154), publisher(143), volume(140), editor(137), series(120), month(112), url(76), number(61), journal(57), address(28), note(20), institution(19), type(12), school(11), organization(5), chapter(2), conflocation(2), abstract(1), annote(1), optnumber(1), optpages(1), optvolume(1)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!