• Treffer 7 von 14
Zurück zur Trefferliste

CPE: a calculus for proving equivalence of expressions in a non-strict functional language

Volltext Dateien herunterladen

Metadaten exportieren

Weitere Dienste

Teilen auf Twitter Suche bei Google Scholar
Metadaten
Verfasserangaben:Manfred Schmidt-SchaußORCiDGND
URN:urn:nbn:de:hebis:30-8920
URL:http://www.ki.informatik.uni-frankfurt.de/papers/schauss/eq-co96bot.ps
Titel des übergeordneten Werkes (Englisch):Universität Frankfurt am Main. Fachbereich Informatik: Interner Bericht ; 96,2
Titel des übergeordneten Werkes (Deutsch):Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 5
Schriftenreihe (Bandnummer):Interner Bericht / Fachbereich Informatik, Johann Wolfgang Goethe-Universität Frankfurt a.M. (96,2)
Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik (5)
Verlag:Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology
Verlagsort:Frankfurt [am Main]
Dokumentart:Arbeitspapier
Sprache:Englisch
Jahr der Fertigstellung:1996
Jahr der Erstveröffentlichung:1996
Veröffentlichende Institution:Universitätsbibliothek Johann Christian Senckenberg
Datum der Freischaltung:12.05.2005
Quelle:Internal report 2/96
HeBIS-PPN:190315105
Institute:Informatik und Mathematik / Informatik
DDC-Klassifikation:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Lizenz (Deutsch):License LogoDeutsches Urheberrecht