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









Open Access
Refinement Composition Logic
Proceedings of ACM on programming languages, 2024-08, Vol.8 (ICFP), p.573-601, Article 256
2024
Volltextzugriff (PDF)



International journal of molecular sciences, 2012-06, Vol.13 (6), p.6747-6756
2012
Volltextzugriff (PDF)


Journal of molecular liquids, 2023-08, Vol.383, p.121911, Article 121911
2023
Volltextzugriff (PDF)

Journal of medicinal food, 2010-02, Vol.13 (1), p.205
2010
Volltextzugriff (PDF)

International journal of biological macromolecules, 2019-09, Vol.136, p.1169-1175
2019
Volltextzugriff (PDF)

Open Access
Conditional Contextual Refinement
Proceedings of ACM on programming languages, 2023-01, Vol.7 (POPL), p.1121-1151, Article 39
2023
Volltextzugriff (PDF)

Proceedings of ACM on programming languages, 2023-01, Vol.7 (POPL), p.775-805, Article 27
2023
Volltextzugriff (PDF)


Proceedings of ACM on programming languages, 2020-01, Vol.4 (POPL), p.1-31
2020
Volltextzugriff (PDF)



Open Access
Fair Operational Semantics
Proceedings of ACM on programming languages, 2023-06, Vol.7 (PLDI), p.811-834, Article 139
2023
Volltextzugriff (PDF)

Open Access
Stuttering for Free
Proceedings of ACM on programming languages, 2023-10, Vol.7 (OOPSLA2), p.1677-1704, Article 281
2023
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt