Publications Master Template: Proceedings Article: Unification in Sort Theories

URL of the conference:
URL for downloading the paper:
Event Address*:	Harsching, Germany	Language:	English
Event Date* (no longer used):	~~June, 3 - June, 5~~	Organization:
Event Start Date:	7 December 2019	Event End Date:	7 December 2019

Publisher

Name*:	Universität München	URL:
Address*:	München, Germany	Type:

Vol, No, Year, pp.

Series:

CIS-Bericht

Volume:	96	Number:	91
Month:		Pages:	16-25
Year*:	1996	VG Wort Pages:
ISBN/ISSN:		Sequence Number:
DOI:





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{Weidenbach96c,
AUTHOR = {Weidenbach, Christoph},
EDITOR = {Schulz, Klaus U. and Kepser, Stephan},
TITLE = {Unification in Sort Theories},
BOOKTITLE = {Proceedings of the 10th International Workshop on Unification, UNIF'96},
PUBLISHER = {Universität München},
YEAR = {1996},
NUMBER = {91},
VOLUME = {96},
PAGES = {16--25},
SERIES = {CIS-Bericht},
ADDRESS = {Harsching, Germany},
}

Entry last modified by Uwe Brahm, 03/12/2010

Edit History (please click the blue arrow to see the details)

	Editor(s) Christoph Weidenbach	Created 03/12/1997 11:15:44 AM
Revisions 3. 2. 1. 0.	Editor(s) Uwe Brahm Christoph Weidenbach Uwe Brahm Christoph Weidenbach	Edit Dates 24.03.97 21:14:35 20/03/97 16:31:20 17.03.97 14:41:56 12/03/97 11:15:45