Volltext-Downloads (blau) und Frontdoor-Views (grau)

A Verification of Extensible Record Types

Export metadata

Additional Services

Share in Twitter Search Google Scholar Check availability


Show usage statistics
Document Type:Conference Object
Author:Andreas V. Hense, Gert Smolka
Parent Title (English):Shi (Ed.): Automated Reasoning. Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992
First Page:137
Last Page:164
Publication year:1992
Dewey Decimal Classification (DDC):0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Entry in this database:2016/08/11