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...
Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
Open Access
    Datensatz exportieren als...
  • BibTeX
Iris from the ground up: A modular foundation for higher-order concurrent separation logic
Journal of functional programming, 2018, Vol.28 (e20), Article e20
2018
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Unifying structured recursion schemes
Journal of functional programming, 2016, Vol.26
2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Cubical Agda: A dependently typed programming language with univalence and higher inductive types
Journal of functional programming, 2021, Vol.31, Article e8
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code
Journal of functional programming, 2021, Vol.31, Article e5
2021
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Foundations of dependent interoperability
Journal of functional programming, 2018-03, Vol.28, Article e9
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
International Activities
JOURNAL OF THE JAPAN WELDING SOCIETY, 2018, Vol.87(5), pp.353-353
2018
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Mtac: A monad for typed tactic programming in Coq
Journal of functional programming, 2015-01, Vol.25, Article e12
2015
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
How to prove decidability of equational theories with second-order computation analyser SOL
Journal of functional programming, 2019, Vol.29, Article e20
2019
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Lambda calculus with algebraic simplification for reduction parallelisation: Extended study
Journal of functional programming, 2021, Vol.31, Article e7
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Gradual type-and-effect systems
Journal of functional programming, 2016-01, Vol.26, Article e19
2016
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Well-founded recursion with copatterns and sized types
Journal of functional programming, 2016-01, Vol.26, Article e2
2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
国際的動向
溶接学会誌, 2018, Vol.87(5), pp.353-353
2018
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Runtime verification and validation of functional reactive systems
Journal of functional programming, 2020, Vol.30, Article e28
2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Testing noninterference, quickly
Journal of functional programming, 2016-01, Vol.26, Article e4
2016
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Romeo: A system for more flexible binding-safe programming
Journal of functional programming, 2016-01, Vol.26, Article e13
2016
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Special issue dedicated to ICFP 2014: Editorial
Journal of functional programming, 2016-01, Vol.26, Article e20
2016
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Verified decision procedures for MSO on words based on derivatives of regular expressions
Journal of functional programming, 2015-01, Vol.25, Article e18
2015
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Efficient parallel and incremental parsing of practical context-free languages
Journal of functional programming, 2015-01, Vol.25, p.Article Number: UNSP e10, Article e10
2015
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Mining Frequents Itemset and Association Rules in Diabetic Dataset
Business Intelligence, p.146-157
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Concept of risk management for implementation of On-Line Maintenance
The Proceedings of the National Symposium on Power and Energy Systems, 2022, Vol.2022.26, p.E242
2022
Volltextzugriff (PDF)
1 – 20 von 20
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen