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...
International journal on software tools for technology transfer, 2021-06, Vol.23 (3), p.369-410
2021
Link zum Volltext


International journal on software tools for technology transfer, 2018-11, Vol.20 (6), p.705-737
2018
Link zum Volltext





Theoretical computer science, 2018-09, Vol.741, p.19-24
2018
Link zum Volltext



Graph Transformation, Specifications, and Nets, 2018, Vol.10800, p.124-141
2018
Link zum Volltext

Journal of symbolic computation, 2011-03, Vol.46 (3), p.294-315
2011
Link zum Volltext




Fundamental Approaches to Software Engineering, 2017, p.226-243
2017
Link zum Volltext

Journal of logical and algebraic methods in programming, 2020-10, Vol.115, p.100576, Article 100576
2020
Link zum Volltext

Journal of logical and algebraic methods in programming, 2017-01, Vol.86 (1), p.208-235
2017
Link zum Volltext

Mathematical structures in computer science, 2014-08, Vol.24 (4), p.1-57, Article 240408
2014
Link zum Volltext


Open Access
Abstract Constraint Data Types
Software, Services, and Systems, 2015, p.155-170
2015
Link zum Volltext

Open Access
A logical approach to graph databases
Journal of logical and algebraic methods in programming, 2024-10, Vol.141, p.100997, Article 100997
2024
Link zum Volltext


Journal of logical and algebraic methods in programming, 2023-02, Vol.131, p.100845, Article 100845
2023
Link zum Volltext

Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt