On jump-deterministic pushdown automata
- 期刊名称Theory of Computing Systems
- 作者Bruno Courcelle
- 卷第11卷
- 期第1期
- 印刷ISSN1432-4350
- 电子ISSN1433-0490
- 文件大小1282.03KB
- 发表时间19771978
- DOI10.1007/bf01768471
- 页码87-109
On some classes of interpretationsBruno Courcelle; Irène Guessarian · 1978
Handle-rewriting hypergraph grammarsBruno Courcelle; Joost Engelfriet; Grzegorz Rozenberg · 1993
Fundamental properties of infinite treesBruno Courcelle · 1983
Fundamental properties of infinite treesBruno Courcelle · 1983
Logic and GraphsBruno Courcelle · 1995
Graph expressions and graph rewritingsMichel Bauderon; Bruno Courcelle · Theory of Computing Systems · 1987
Some negative results concerning DPDA'sBruno Courcelle · 1984
Editor's forewordArnold L. Rosenberg · Theory of Computing Systems · 1994
Universality of iterated networksR. F. Chamberlain; C. M. Fiduccia · Theory of Computing Systems · 1994
Primitives for asynchronous list compressionR. J. Anderson · Theory of Computing Systems · 1994
A lower bound for monotone perceptronsF. Green · Theory of Computing Systems · 1995
Guest editor's noteH. Raymond Strong · Theory of Computing Systems · 1993
The Failure Discovery problemVassos Hadzilacos; Joseph Y. Halpern · Theory of Computing Systems · 1993
Editor's forewordSandeep N. Bhatt · Theory of Computing Systems · 1994
An approach to emulating separable graphsBojana Obrenić · Theory of Computing Systems · 1994