Berthold Josephs - Wissenschaftliche Veröffentlichungen

Berthold Josephs josephs at gmx.de. Son Okt :30:36 CET Vorherige Nachricht: Mail-Programm mit Sprachausgabe? Nächste Nachricht: Mail-Programm mit ... › October

The ALF System

www.informatik.uni-kiel.de

Foundation: Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and equations for functional programming. A full ...

Abstract of PLILP'93

www.informatik.uni-kiel.de

... Debugging Model for Functional Logic Programs. by Michael Hanus, Berthold Josephs. 5th International Symposium on Programming Language Implementation and Logic ...

Verwandte Suchanfragen zu Berthold Josephs

Paul Temple
Georg Johnen
Thorsten Wiethege

Bernd Wichert
Antje Müller

Person "Josephs" (1)
Vorname "Berthold" (5496)
Name "Josephs" (247)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Wissenschaftliche Veröffentlichungen Berthold Josephs