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

Fairtlough, M. ; Mendler, Michael: Propositional Lax Logic . In: Information and Computation Vol.137 (1997), Nr. 1, S. 1-33 Institution: Professur für Grundlagen der Informatik

UnivIS ist ein Produkt der Config eG, Buckenhof