MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Weidenbach, Christophdblp
Editor(s):
Hermann, Miki
Salzer, Gernot		dblp
dblp
BibTeX cite key*:
Weidenbach96d
Title, Booktitle
Title*:
Sorted Unification and Its Application to Automated Theorem Proving
Booktitle*:
Proceedings of the CADE-13 Workshop: Term Schematizations and Their Applications
Event, URLs
Conference URL::
Downloading URL:
Event Address*:
New Brunswick, USA
Language:
English
Event Date*
(no longer used):
July, 30 - August, 3
Organization:
Event Start Date:
18 May 2024
Event End Date:
18 May 2024
Publisher
Name*:
Self
URL:
Address*:
Type:
Vol, No, Year, pp.
Series:
Volume:
Number:
Month:
Pages:
67-76
Year*:
1996
VG Wort Pages:
ISBN/ISSN:
Sequence Number:
DOI:
Note, Abstract, ©
Note:
To appear in form of a technical report at the University of Wien, Austria
Download
Access Level:

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Audience:
experts only
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography



BibTeX Entry:
@INPROCEEDINGS{Weidenbach96d,
AUTHOR = {Weidenbach, Christoph},
 EDITOR = {Hermann, Miki and Salzer, Gernot},
 TITLE = {Sorted Unification and Its Application to Automated Theorem Proving},
 BOOKTITLE = {Proceedings of the CADE-13 Workshop: Term Schematizations and Their Applications},
 PUBLISHER = {Self},
 YEAR = {1996},
 PAGES = {67--76},
 NOTE = {To appear in form of a technical report at the University of Wien, Austria},
}

Entry last modified by Uwe Brahm, 03/12/2010
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Christoph Weidenbach		Created
03/12/1997 02:43:49 PM
Revision
1.
0.


Editor
Uwe Brahm
Christoph Weidenbach


Edit Date
16/03/97 17:41:58
12/03/97 14:43:50