Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG

Fairtlough, M. ; Mendler, Michael ; Walton, M.: First-order Lax Logic as a Framework for Constraint Logic Programming . Passau : Universität Passau. 1997 (MIP-9714). - Forschungsbericht. 51 Seiten Institution: Professur für Grundlagen der Informatik

UnivIS ist ein Produkt der Config eG, Buckenhof