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
UNITY and Büchi automata
Formal aspects of computing, 2021-03, Vol.33 (2), p.185-205
2021
Link zum Volltext

The nullcone of the Lie algebra of G2
Indagationes mathematicae, 2019-07, Vol.30 (4), p.623-648
2019
Link zum Volltext

Formal aspects of computing, 2017-09, Vol.29 (5), p.833-852
2017
Link zum Volltext

Open Access
The quartet spaces of G. ’t Hooft
Indagationes mathematicae, 2018-04, Vol.29 (2), p.628-632
2018
Link zum Volltext

Formal aspects of computing, 2016-04, Vol.28 (2), p.325-341
2016
Link zum Volltext

IEEE transactions on pattern analysis and machine intelligence, 2008-12, Vol.30 (12), p.2204-2217
2008

Concurrency and computation, 2018-09, Vol.30 (18), p.n/a
2018
Link zum Volltext

Concurrency and computation, 2018-02, Vol.30 (4), p.n/a
2018
Link zum Volltext

Indagationes mathematicae, 2019-03, Vol.30 (2), p.265-287
2019
Link zum Volltext

IEEE transactions on pattern analysis and machine intelligence, 2008-10, Vol.30 (10), p.1800-1813
2008

Concurrency and computation, 2015-03, Vol.27 (3), p.651-701
2015
Link zum Volltext

Acta informatica, 2013-05, Vol.50 (3), p.199-228
2013
Link zum Volltext

Acta informatica, 2013-09, Vol.50 (5-6), p.297-329
2013
Link zum Volltext

Formal aspects of computing, 2013-11, Vol.25 (6), p.947-969
2013
Link zum Volltext

Theoretical computer science, 2010-05, Vol.411 (22), p.2317-2330
2010
Link zum Volltext

Science of computer programming, 2022-04, Vol.216, p.102767, Article 102767
2022
Link zum Volltext

Formal aspects of computing, 2012, Vol.24 (1), p.27-44
2012
Link zum Volltext

Information and computation, 2008, Vol.206 (1), p.108-128
2008
Link zum Volltext

Information processing letters, 2007-05, Vol.102 (5), p.181-186
2007
Link zum Volltext

Open Access
Solutions of equations in languages
Formal aspects of computing, 2010-09, Vol.22 (5), p.537-545
2010
Link zum Volltext

Theoretical computer science, 2012-11, Vol.458, p.131-135
2012
Link zum Volltext

Indagationes mathematicae, 2019-07, Vol.30 (4), p.623-648
2019
Link zum Volltext

Open Access
A criterion for atomicity revisited
Acta informatica, 2007-05, Vol.44 (2), p.123-151
2007
Link zum Volltext

Acta informatica, 2011-04, Vol.48 (2), p.67-96
2011
Link zum Volltext

Science of computer programming, 2015-05, Vol.102, p.57-75
2015
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n