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

Logical methods in computer science, 2020-01, Vol.16 (3)
2020
Volltextzugriff (PDF)

Logical methods in computer science, 2016-01, Vol.12, Issue 3 (3)
2016
Volltextzugriff (PDF)

Logical methods in computer science, 2017, Vol.13 (4)
2017
Volltextzugriff (PDF)

Logical methods in computer science, 2012-03, Vol.8, Issue 1 (1), p.1-44
2012
Volltextzugriff (PDF)

Open Access
Relating timed and register automata
Mathematical structures in computer science, 2016-09, Vol.26 (6), p.993-1021
2016
Volltextzugriff (PDF)

Griot : Revista de Filosofia, 2017-06, Vol.15 (1), p.100-110
2017
Volltextzugriff (PDF)

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016, p.847-856
2016
Volltextzugriff (PDF)

Open Access
Decidability of Downward XPath
ACM transactions on computational logic, 2012-10, Vol.13 (4), p.1-40
2012
Volltextzugriff (PDF)

2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023, p.1-13
2023
Volltextzugriff (PDF)

Reasoning Web. Declarative Artificial Intelligence, 2022, p.1-21
2022
Volltextzugriff (PDF)

The Journal of artificial intelligence research, 2015-01, Vol.53, p.271-314
2015
Volltextzugriff (PDF)


2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015, p.329-340
2015
Volltextzugriff (PDF)

Journal of the ACM, 2020-11, Vol.67 (6), p.1-60
2020
Volltextzugriff (PDF)


Proceedings of the ACM on management of data, 2024-06, Vol.2 (2), p.1-24, Article 105
2024
Volltextzugriff (PDF)

Open Access
Graph Logics with Rational Relations
Logical methods in computer science, 2013-07, Vol.9, Issue 3 (3)
2013
Volltextzugriff (PDF)

Open Access
Synchronizing Relations on Words
Theory of computing systems, 2015-08, Vol.57 (2), p.287-318
2015
Volltextzugriff (PDF)

Open Access
Bisimulations on Data Graphs
The Journal of artificial intelligence research, 2018-01, Vol.61, p.171-213
2018
Volltextzugriff (PDF)

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.404-413
2018
Volltextzugriff (PDF)

2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2016, p.1-10
2016
Volltextzugriff (PDF)

Revista brasileira de ortopedia, 2022-04, Vol.57 (2), p.348-350
2022
Volltextzugriff (PDF)

Revista brasileira de ortopedia, 2022-04, Vol.57 (2), p.348-350
2022
Volltextzugriff (PDF)

Open Access
Relating timed and register automata
Electronic proceedings in theoretical computer science, 2010-11, Vol.41 (Proc. EXPRESS 2010), p.61-75
2010
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n