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, 2023-03, Vol.19, Issue 1
2023
Link zum Volltext

Logical methods in computer science, 2022-07, Vol.18, Issue 3
2022
Link zum Volltext

Visibly pushdown transducers
Journal of computer and system sciences, 2018-11, Vol.97, p.147-181
2018
Link zum Volltext

Reachability Problems, 2019, Vol.11674, p.164-177
2019
Link zum Volltext

Developments in Language Theory, 2016-02
2016
Link zum Volltext

Proceedings of the 31st Annual ACM/IEEE Symposium on logic in computer science, 2016, p.857-866
2016
Link zum Volltext

Logical methods in computer science, 2019-04, Vol.15, Issue 2
2019
Link zum Volltext

Trimming visibly pushdown automata
Theoretical computer science, 2015-05, Vol.578, p.13-29
2015
Link zum Volltext



Aperiodic String Transducers
Developments in Language Theory, 2016, Vol.9840, p.125-137
2016
Link zum Volltext


Information and computation, 2018-08, Vol.261, p.311-335
2018
Link zum Volltext

Proceedings of the 31st Annual ACM/IEEE Symposium on logic in computer science, 2016, p.217-226
2016
Link zum Volltext

LATIN 2006: Theoretical Informatics, 2006, p.238-249
2006
Link zum Volltext


Synthesis of Data Word Transducers
Logical methods in computer science, 2021-03, Vol.17, Issue 1
2021
Link zum Volltext


Copyful Streaming String Transducers
Reachability Problems, 2017, Vol.10506, p.75-86
2017
Link zum Volltext

Automata, Languages, and Programming, 2015, p.209-221
2015
Link zum Volltext


RAIRO. Informatique théorique et applications, 2013-01, Vol.47 (1), p.69-96
2013
Link zum Volltext

Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n