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...
Science of computer programming, 2018-03, Vol.154, p.3-41
2018
Link zum Volltext

Theoretical computer science, 2017-04, Vol.672, p.1-35
2017
Link zum Volltext

Journal of logical and algebraic methods in programming, 2023-08, Vol.134, p.100877, Article 100877
2023
Link zum Volltext


Journal of logical and algebraic methods in programming, 2020-01, Vol.110, p.100483, Article 100483
2020
Link zum Volltext

Rewriting Logic and Its Applications, p.171-190
Link zum Volltext


International Journal of Molecular Sciences, 2012-02, Vol.13 (2), p.1541-1560
2012
Link zum Volltext


Science of computer programming, 2015-03, Vol.99, p.193-234
2015
Link zum Volltext


Science of computer programming, 2014-04, Vol.83, p.3-34
2014
Link zum Volltext

Annals of mathematics and artificial intelligence, 2022-05, Vol.90 (5), p.499-522
2022
Link zum Volltext






Theoretical computer science, 2006-08, Vol.360 (1-3), p.386-414
2006
Link zum Volltext




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


Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n