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...
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...
Nominal C-Unification
Logic-Based Program Synthesis and Transformation, p.235-251
Volltextzugriff (PDF)

The Lancet (British edition), 2022-04, Vol.399 (10334), p.1489-1512
2022
Volltextzugriff (PDF)


Fundamenta informaticae, 2020-01, Vol.173 (4), p.285-314
2020
Volltextzugriff (PDF)


Preface
Fundamenta informaticae, 2020-03, Vol.173 (4), p.i-ii
2020
Volltextzugriff (PDF)

Health progress (Saint Louis, Mo.), 2013-07, Vol.94 (4), p.44-51
2013
Volltextzugriff (PDF)

Functional and Logic Programming, 2018, Vol.10818, p.116-131
2018
Volltextzugriff (PDF)

Program Extraction for Mutable Arrays
Functional and Logic Programming, 2018, Vol.10818, p.51-67
2018
Volltextzugriff (PDF)


Functional and Logic Programming, 2018, Vol.10818, p.149-165
2018
Volltextzugriff (PDF)

Functional and Logic Programming, 2018, Vol.10818, p.198-213
2018
Volltextzugriff (PDF)

Functional and Logic Programming, 2018, Vol.10818, p.230-246
2018
Volltextzugriff (PDF)

Functional and Logic Programming, 2018, Vol.10818, p.68-83
2018
Volltextzugriff (PDF)

Functional and Logic Programming, 2018, Vol.10818, p.264-279
2018
Volltextzugriff (PDF)

Functional and Logic Programming, 2018, Vol.10818, p.17-32
2018
Volltextzugriff (PDF)



Logic-Based Program Synthesis and Transformation, p.201-217
Volltextzugriff (PDF)



Logic-Based Program Synthesis and Transformation, p.252-268
Volltextzugriff (PDF)


Logic-Based Program Synthesis and Transformation, p.180-197
Volltextzugriff (PDF)

Logic-Based Program Synthesis and Transformation, p.306-322
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n