On computational interpretations of the modal logic S4 / Jean Goubault-Larrecq. Universität Karlsruhe, Fakultät für Informatik
Resource type: Ressourcentyp: GesamtaufnahmeSetLanguage: English Series: Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; ...Volumes: Show volumesPublisher: Karlsruhe : Univ., Fak. für Informatik, 19XX-PPN: PPN: 1127401084No physical items for this record