Next: Abstract

Extended Logic-plus-Functional Programming

Harold Boley
Deutsches Forschungszentrum für Künstliche Intelligenz
Box 2080, D-6750 Kaiserslautern, F. R. Germany
boley@informatik.uni-kl.de



Harold Boley & Michael Sintek (sintek@dfki.uni-kl.de)