Volltext-Downloads (blau) und Frontdoor-Views (grau)
  • search hit 1 of 2
Back to Result List

A record calculus with principal types

Export metadata

Additional Services

Share in Twitter Search Google Scholar Check availability

Statistics

Show usage statistics
Metadaten
Document Type:Conference Object
Language:English
Author:Andreas V. Hense, Gert Smolka
Parent Title (English):Jouannaud (Ed.): Constraints in Computational Logics. First International Conference, CCL '94 Munich, Germany, September 7–9, 1994 Proceedings. Lecture Notes in Computer Science, Vol. 845
First Page:219
Last Page:236
ISBN:3-540-58403-X
DOI:https://doi.org/10.1007/BFb0016856
Publisher:Springer
Publication year:1994
Dewey Decimal Classification (DDC):0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Entry in this database:2016/08/11