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...

Logical methods in computer science, 2022-08, Vol.18, Issue 3
2022
Link zum Volltext




Open Access
A dependent nominal type theory
Logical methods in computer science, 2012, Vol.8, Issue 1
2012
Link zum Volltext

International Journal of Digital Curation, 2021-04, Vol.16 (1), p.21
2021
Link zum Volltext

ACM transactions on database systems, 2008-11, Vol.33 (4), p.1-47
2008
Link zum Volltext

International Journal of Digital Curation, 2020-07, Vol.15 (1), p.15
2020
Link zum Volltext

Open Access
Incremental relational lenses
Proceedings of ACM on programming languages, 2018-07, Vol.2 (ICFP), p.1-30
2018
Link zum Volltext

Proceedings of the VLDB Endowment, 2010-09, Vol.3 (1-2), p.906-917
2010
Link zum Volltext

Open Access
A Formalization of SQL with Nulls
Journal of automated reasoning, 2022-11, Vol.66 (4), p.989-1030
2022
Link zum Volltext

Electronic proceedings in theoretical computer science, 2010-06, Vol.26 (Proc. DCM 2010), p.63-74
2010
Link zum Volltext

Open Access
Proof-relevant pi-calculus
Electronic proceedings in theoretical computer science, 2015-07, Vol.185 (Proc. LFMTP 2015), p.46-70
2015
Link zum Volltext

Open Access
Language-integrated provenance
Science of computer programming, 2018-04, Vol.155, p.103-145
2018
Link zum Volltext

Journal of logic and computation, 2016-04, Vol.26 (2), p.699-726
2016
Link zum Volltext


Mathematical structures in computer science, 2018-10, Vol.28 (9), p.1541-1577
2018
Link zum Volltext

Theory and practice of logic programming, 2017-05, Vol.17 (3), p.311-352
2017
Link zum Volltext

Open Access
The rationale of PROV
Web semantics, 2015-12, Vol.35, p.235-257
2015
Link zum Volltext

The VLDB journal, 2024-03, Vol.33 (2), p.399-423
2024
Link zum Volltext

Equivariant Unification
Journal of automated reasoning, 2010-10, Vol.45 (3), p.267-300
2010
Link zum Volltext

Journal of functional programming, 2018-01, Vol.28, Article e8
2018
Link zum Volltext

ACM transactions on database systems, 2013-06, Vol.38 (2), p.1-33
2013
Link zum Volltext

ACM transactions on database systems, 2013-06, Vol.38 (2), p.1-33
2013
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n