Bibliography on Combination Methods in Automated Reasoning

[   About   |  Browse   |   Statistics   ]

Number of references:	231	Last update:	May 16, 2003
Number of online publications:	74	Supported:	yes
Most recent reference:	April 2003

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

• Original source:

  ftp://ftp.cs.uiowa.edu... (Format: bibtex, compressed with gzip)

  Other sites:

  http://www.cs.uiowa.edu... (Format: bibtex, compressed with gzip)
  

Bibliographic Statistics

Types:

inproceedings(128), article(55), techreport(20), incollection(15), phdthesis(9), mastersthesis(2), book(1), unpublished(1)

Fields:

author(231), title(231), year(231), pages(167), booktitle(143), publisher(134), volume(133), editor(128), month(112), series(111), url(77), number(60), journal(55), address(27), institution(20), note(16), type(12), school(11), organization(5), chapter(2), conflocation(2), abstract(1), annote(1), optnumber(1), optpages(1), optvolume(1)

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.