Details

Autor(en) / Beteiligte

• Heering, Jan
• Meinke, Karl
• Möller, Bernhard
• Nipkow, Tobias

Titel

Higher-Order Algebra, Logic, and Term Rewriting : First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers [Elektronische Ressource]

Ort / Verlag

Berlin [u.a.] : Springer

Erscheinungsjahr

1994

Link zum Volltext

• Springer Lecture Notes Archiv (- Jg. 1996) (ZDB-1-SLN)

Link zu anderen Inhalten

• Volltext

Beschreibungen/Notizen

• Sofern kein Zugang über ein Universitätsnetz zur Verfügung steht, kann eine Registrierung zur kostenlosen Nutzung erfolgen: http://www.nationallizenzen.de