Login
Document type:
Sammelbandbeitrag / Paper in Collective Volume
Title:
Prototyping relational specifications using higher-order objects
Collection title:
Higher-Order Algebra, Logic, and Term Rewriting
Collection editors:
Heering, Jan; Meinke, Kurt; Möller, Bernhard; Nipkow, Tobias
Title of conference publication:
First International Workshop, HOA '93
Subtitle of conference publication:
Amsterdam, the Netherlands, September 1993, Selected Papers
Series title:
Lecture Notes in Computer Science
Series volume:
816
Conference title:
International Workshop Higher Order Algebra (1., 1993, Amsterdam)
Conference title:
First International Workshop, HOA '93
Venue:
Amsterdam
Year of conference:
1993
Publisher:
Springer-Verlag
Year:
1994
Pages from - to:
56-75
Language:
Englisch
Department:
Fakultät für Informatik
Institute:
INF 2 - Institut für Softwaretechnologie
Chair:
Schmidt, Gunther
BibTeX