> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: A Definitional Implementation of the Lax Logical Framework LLFP in Coq, for Supporting Fast and Loose Reasoning Beteiligte: Alessi, Fabio; Ciaffaglione, Alberto; Di Gianantonio, Pietro; Honsell, Furio; Lenisa, Marina Erschienen: Open Publishing Association, 2019 Erschienen in: Electronic Proceedings in Theoretical Computer Science Sprache: Englisch DOI: 10.4204/eptcs.307.3 ISSN: 2075-2180 Schlagwörter: General Earth and Planetary Sciences ; General Engineering ; General Environmental Science Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang