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



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

Passato e presente (Florence, Italy), 2024-05, Vol.42 (122), p.81-100
2024
Volltextzugriff (PDF)

Logical methods in computer science, 2019-01, Vol.15 (3)
2019
Volltextzugriff (PDF)

Artificial intelligence, 2020-10, Vol.287, p.103353, Article 103353
2020
Volltextzugriff (PDF)

Information and computation, 2018-08, Vol.261, p.650-675
2018
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2016-09, Vol.226 (Proc. GandALF 2016), p.164-177
2016
Volltextzugriff (PDF)

Open Access
Synthesis with rational environments
Annals of mathematics and artificial intelligence, 2016-09, Vol.78 (1), p.3-20
2016
Volltextzugriff (PDF)

Information and computation, 2021-02, Vol.276, p.104555, Article 104555
2021
Volltextzugriff (PDF)

Annals of mathematics and artificial intelligence, 2023-08, Vol.91 (4), p.409-430
2023
Volltextzugriff (PDF)

ACM transactions on computational logic, 2014-11, Vol.15 (4), p.1-47
2014
Volltextzugriff (PDF)

Open Access
Hierarchical cost-parity games
Theoretical computer science, 2020-12, Vol.847, p.147-174
2020
Volltextzugriff (PDF)

Acta informatica, 2016-10, Vol.53 (6-8), p.587-619
2016
Volltextzugriff (PDF)

ACM transactions on computational logic, 2023-07, Vol.24 (3), p.1-38, Article 21
2023
Volltextzugriff (PDF)

Behavioral QLTL
Multi-Agent Systems, 2023, Vol.14282, p.133-149
2023
Volltextzugriff (PDF)

ACM transactions on computational logic, 2021-06, Vol.22 (2), p.1-38
2021
Volltextzugriff (PDF)

Open Access
Synthesis with Rational Environments
Multi-Agent Systems, 2015, p.219-235
2015
Volltextzugriff (PDF)

Information and computation, 2018-10, Vol.262, p.265-279
2018
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2016-07, Vol.218, p.56-56
2016
Volltextzugriff (PDF)

Automated Technology for Verification and Analysis, 2018, Vol.11138, p.551-557
2018
Volltextzugriff (PDF)

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019, p.188-196
2019
Volltextzugriff (PDF)

2014 21st International Symposium on Temporal Representation and Reasoning, 2014, p.59-68
2014
Volltextzugriff (PDF)

Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt