Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen... Folgender Titel konnte gefunden werden
- Autor(en)
- Alessi, Fabio
- Artikel
- A Definitional Implementation of the Lax Logical Framework LLFP in Coq, for Supporting Fast and Loose Reasoning
- Titel
- Electronic proceedings in theoretical computer science
- Seiten
- 8-23
- Band
- 307
- Heft
- Proc. LFMTP 2019
- Verlag
- EPTCSorg
- Ort
- [Place of publication not identified]
- Erscheinungsjahr
- 2019
- Identifikatoren
- ISSN: 2075-2180; eISSN: 2075-2180
Volltextzugriff (PDF)
Freie Ressource
Verfügbar von 2008.;