Fakultät für Informatik - Technische Universität München Lehrstuhl für Effiziente Algorithmen

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen [1]	Hilfe

Suche: Citkey="Zhang/88a"

Acta Informatica 25 (3), 1988, pp. 283-303

Publisher:		Springer-Verlag
Address:		Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong
Institution:		Dept. of Appl. Math., Tsinghua Univ., Beijing, China
Keywords:		data types, specification method, abstract data types, many-sorted second order logic, augmenting operations, constructors
URL:		http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=25&issue=3&spage=283