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

Electronic proceedings in theoretical computer science, 2019, Vol.300 (Proc. EXPRESS/SOS 2019), p.39-53
2019
Volltextzugriff (PDF)

Theoretical computer science, 2018-10, Vol.744 (56--77), p.56-77
2018
Volltextzugriff (PDF)

Constraints : an international journal, 2013-10, Vol.18 (4), p.535-578
2013
Volltextzugriff (PDF)

Logical methods in computer science, 2023-03, Vol.19, Issue 1
2023
Volltextzugriff (PDF)


The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019, Vol.11760, p.419-441
2019
Volltextzugriff (PDF)

Make Puzzles Great Again
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019, Vol.11760, p.442-459
2019
Volltextzugriff (PDF)

Mathematical structures in computer science, 2016-12, Vol.26 (8), p.1351-1351
2016
Volltextzugriff (PDF)

Mathematical structures in computer science, 2016-09, Vol.26 (6), p.907-907
2016
Volltextzugriff (PDF)

Journal of logical and algebraic methods in programming, 2017-01, Vol.86 (1), p.107-133
2017
Volltextzugriff (PDF)

Journal of logical and algebraic methods in programming, 2017-11, Vol.92, p.45-63
2017
Volltextzugriff (PDF)

Open Access
Preface to special issue: ICTAC 2015
Mathematical structures in computer science, 2019-01, Vol.29 (1), p.1-2
2019
Volltextzugriff (PDF)

Theoretical Aspects of Computing – ICTAC 2016, p.214-232
Volltextzugriff (PDF)

Machine learning, 2024-05, Vol.113 (5), p.2405-2434
2024
Volltextzugriff (PDF)


Theoretical computer science, 2005-02, Vol.330 (3), p.577-607
2005
Volltextzugriff (PDF)

Statistical Epistemic Logic
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, p.344-362
Volltextzugriff (PDF)

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, p.101-117
Volltextzugriff (PDF)

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, p.182-205
Volltextzugriff (PDF)

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, p.14-32
Volltextzugriff (PDF)

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, p.163-181
Volltextzugriff (PDF)

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, p.293-312
Volltextzugriff (PDF)

Polyadic Soft Constraints
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, p.241-257
Volltextzugriff (PDF)

FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2004, p.226-240
2004
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n