Denis Therien
Denis Therien
Affiliazione sconosciuta
Email verificata su elementai.com
Titolo
Citata da
Citata da
Anno
Finite monoids and the fine structure of NC1
DAM Barrington, D Therien
Journal of the ACM (JACM) 35 (4), 941-952, 1988
2501988
Over words, two variables are as powerful as one quantifier alternation
D Thérien, T Wilke
Proceedings of the Thirtieth Annual ACM Symposium on Theory of Computing …, 1998
1451998
Regular languages in NC1
DAM Barrington, K Compton, H Straubing, D Thérien
Journal of Computer and System Sciences 44 (3), 478-499, 1992
1311992
Non-uniform automata over groups
DAM Barrington, H Straubing, D Thérien
Information and Computation 89 (2), 109-132, 1990
1311990
Classification of finite monoids: the language approach
D Thérien
Theoretical Computer Science 14 (2), 195-208, 1981
1251981
Diamonds are forever: The variety DA
P Tesson, D Thérien
Semigroups, algorithms, automata and languages, 475-499, 2002
1102002
NondeterministicNC1Computation
H Caussinus, P McKenzie, D Thérien, H Vollmer
Journal of Computer and System Sciences 57 (2), 200-212, 1998
1041998
Graph congruences and wreath products
D Thérien, A Weiss
Journal of Pure and Applied Algebra 36, 205-215, 1985
1041985
Logics for context-free languages
C Lautemann, T Schwentick, D Thérien
International Workshop on Computer Science Logic, 205-216, 1994
911994
An algebraic approach to data languages and timed languages
P Bouyer, A Petit, D Thérien
Information and Computation 182 (2), 137-162, 2003
882003
Locally trivial categories and unambiguous concatenation
JÉ Pin, H Straubing, D Thérien
Journal of Pure and Applied Algebra 52 (3), 297-311, 1988
791988
Partially ordered finite monoids and a theorem of I. Simon
H Straubing, D Thérien
Journal of Algebra 119 (2), 393-399, 1988
761988
Algebraic results on quantum automata
A Ambainis, M Beaudry, M Golovkins, A Kikusts, M Mercer, D Thérien
Theory of Computing Systems 39 (1), 165-188, 2006
712006
Logspace and logtime leaf languages
B Jenner, P McKenzie, D Thérien
Information and Computation 129 (1), 21-33, 1996
681996
Partially-ordered two-way automata: A new characterization of DA
T Schwentick, D Thérien, H Vollmer
International Conference on Developments in Language Theory, 239-250, 2001
672001
Regular languages defined with generalized quantifiers
H Straubing, D Thérien, W Thomas
Information and computation 118 (2), 289-301, 1995
671995
Temporal logic and semidirect products: An effective characterization of the until hierarchy
D Thérien, T Wilke
Proceedings of 37th Conference on Foundations of Computer Science, 256-263, 1996
57*1996
NC1: The automata-theoretic viewpoint
P McKenzie, P Péladeau, D Thérien
Computational Complexity 1 (4), 330-359, 1991
541991
Regular languages defined with generalized quantifiers
H Straubing, D Thérien, W Thomas
International Colloquium on Automata, Languages, and Programming, 561-575, 1988
481988
Logic meets algebra: the case of regular languages
P Tesson, D Thérien
arXiv preprint cs/0701154, 2007
442007
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20