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


Logic-Based Program Synthesis and Transformation, 2022, Vol.13290, p.16-37
2022
Link zum Volltext

Logic-Based Program Synthesis and Transformation, 2022, Vol.13290, p.157-175
2022
Link zum Volltext

Open Access
Disjunctive Delimited Control
Logic-Based Program Synthesis and Transformation, 2022, Vol.13290, p.75-91
2022
Link zum Volltext

S-Semantics–an Example
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2021), 2022, Vol.13290, p.60-74
2022
Link zum Volltext




IEEE transactions on automatic control, 1991-09, Vol.36 (9), p.1065-1070
1991









Mathematical and computer modelling, 1997-04, Vol.25 (7), p.65-78
1997
Link zum Volltext


American journal of obstetrics and gynecology, 1953-08, Vol.66 (2), p.443-445
1953
Link zum Volltext



Materials technology (New York, N.Y.), 1998-01, Vol.13 (2), p.58-60
1998
Link zum Volltext

Advanced drug delivery reviews, 1996-01, Vol.18 (2), p.193-218
1996
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n