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)

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)


Logic-Based Program Synthesis and Transformation, p.323-340
Volltextzugriff (PDF)

Logic-Based Program Synthesis and Transformation, p.164-179
Volltextzugriff (PDF)

Logic-Based Program Synthesis and Transformation, p.20-36
Volltextzugriff (PDF)

Erlang Code Evolution Control
Logic-Based Program Synthesis and Transformation, p.128-144
Volltextzugriff (PDF)

Deadlock Detection of Java Bytecode
Logic-Based Program Synthesis and Transformation, p.37-53
Volltextzugriff (PDF)

Logic-Based Program Synthesis and Transformation, p.218-234
Volltextzugriff (PDF)

Logic-Based Program Synthesis and Transformation, p.147-163
Volltextzugriff (PDF)

Logic-Based Program Synthesis and Transformation, p.3-19
Volltextzugriff (PDF)

Logic-Based Program Synthesis and Transformation, p.73-90
Volltextzugriff (PDF)

Logic-Based Program Synthesis and Transformation, p.93-111
Volltextzugriff (PDF)

Logic-Based Program Synthesis and Transformation, p.289-305
Volltextzugriff (PDF)

Logic Program Synthesis and Transformation, 1997, p.83-103
1997
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2019, Vol.299 (Proc. VPT 2019), p.34-48
2019
Volltextzugriff (PDF)

Proceedings IEEE INFOCOM 2006. 25TH IEEE International Conference on Computer Communications, 2006, p.1-11
2006
Volltextzugriff (PDF)


2012 International Conference on Indoor Positioning and Indoor Navigation (IPIN), 2012, p.1-10
2012
Volltextzugriff (PDF)
Aktive Filter
PublikationsformTagungsberichte