On computational interpretations of the modal logic S4 / Jean Goubault-Larrecq. Universität Karlsruhe, Fakultät für Informatik
Resource type: Ressourcentyp: GesamtaufnahmeGesamtaufnahmeSprache: Englisch Reihen: Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; ...Bände: Zeige BändeVerlag: Karlsruhe : Univ., Fak. für Informatik, 19XX-PPN: PPN: 1127401084Dieser Titel hat keine Exemplare