A direct branching algorithm for checking the equivalence of two deterministic pushdown transducers, one of which is real-time strict
- 作者Etsuji Tomita; Kazushi Seino
- 卷第64卷
- 期第1期
- 印刷ISSN0304-3975
- 文件大小1246.22KB
- 发表时间1989
- DOI10.1016/0304-3975(89)90096-0
- 页码39-53
Finite semigroup varieties defined by programsPierre Péladeau; Howard Straubing; Denis Therien · 1997
Algebraic Results on Quantum AutomataAndris Ambainis; Martin Beaudry; Marats Golovkins; Arnolds Kikusts; Mark Mercer; Denis Therien · Theory of Computing Systems · 2006
NC1: The automata-theoretic viewpointPierre McKenzie; Pierre Péladeau; Denis Therien · Computational Complexity · 1991
Small varieties of finite semigroups and extensionsPin, Jean-Eric; Straubing, Howard; Therien, Denis · Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics · 1984
SierpiÅski Fractals as Plasmonic Metastructures for Second-Harmonic GenerationMcRae, Danielle M.; Therien, Denis A. B.; Hou, Renjie; Wallace, Gregory Q.; Lagugné-Labarthet, François · ACS Applied Nano Materials · 2020
Optoelectronic, Aggregation, and Redox Properties of Double-Rotor Boron Difluoride Hydrazone DyesCappello, Daniela; Therien, Denis A. B.; Staroverov, Viktor N.; Lagugné-Labarthet, François; Gilroy, Joe B. · Chemistry - A European Journal · 2019
93 PGE2-mediated chronic inflammation: A role for IFN-γ?Alex G. Therien; Simon Lord-Dufour; Virginie Bernier; Yves Boie; Jason D. Burch; Patsy Clark; Danielle Denis; Yongxin Han; James R. Mortimer; Marie-Claude Mathieu · 2008