Bayerisches Forschungszentrum für Wissensbasierte Systeme

Homepage

http://www.forwiss.tu-muenchen.de/

Veröffentlichungen

• Kowarschick, W. (1991): Semantische Optimierung rekursiver, insbesondere Δ-transformierter Logikprogramme

Zitiert durch

• Geordnetes Paar