MPI-INF Logo
MPI-INF/SWS Research Reports 1991-2021

2. Number - only RG1

MPI-I-2007-RG1-002

Superposition for finite domains

Hillenbrand, Thomas and Weidenbach, Christoph

April 2007, 29 pages.

.
Status: available - back from printing


  • MPI-I-2007-RG1-002.pdf
  • Attachement: MPI-I-2007-RG1-002.pdf (262 KBytes)

URL to this document: https://domino.mpi-inf.mpg.de/internet/reports.nsf/NumberView/2007-RG1-002

Hide details for BibTeXBibTeX
@TECHREPORT{HillenbrandWeidenbach2007,
  AUTHOR = {Hillenbrand, Thomas and Weidenbach, Christoph},
  TITLE = {Superposition for finite domains},
  TYPE = {Research Report},
  INSTITUTION = {Max-Planck-Institut f{\"u}r Informatik},
  ADDRESS = {Stuhlsatzenhausweg 85, 66123 Saarbr{\"u}cken, Germany},
  NUMBER = {MPI-I-2007-RG1-002},
  MONTH = {April},
  YEAR = {2007},
  ISSN = {0946-011X},
}