Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

 TUM-Logo

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen Ausgewählte Publikationen Hilfe Hilfe
 
Suche: Citkey="Basin-Matthews/93"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

A conservative extension of first-order logic and its applications to theorem proving Publikation auswählen
David Basin, Seán Matthews

Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)
Lecture Notes in Computer Science 761 , 1993, pp. 151-160

Editors  R.K. Shyamasundar
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest
 
URL:   http://dx.doi.org/10.1007/3-540-57529-4_50