Asynchronous automata-theoretic characterization of aperiodic trace languages

被引：0

作者：

Adsul, Bharat ^{[1
]}

Sohoni, Milind ^{[2
]}

机构：

[1] Chennai Mathematical Institute, 92 G. N. Chetty Road, Chennai 600 017, India

[2] Department of Computer Sc. and Engg., Indian Institute of Technology, Mumbai 400 076, India

来源：

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2004年 / 3328卷

关键词：

D O I：

10.1007/978-3-540-30538-5_8

中图分类号：

学科分类号：

摘要：

引用

页码：84 / 96

共 50 条

[1] Asynchronous automata-theoretic characterization of aperiodic trace languages
Adsul, B
Sohoni, M
FSTTCS 2004: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 2004, 3328 : 84 - 96
[2] OPERATOR PRECEDENCE LANGUAGES: THEIR AUTOMATA-THEORETIC AND LOGIC CHARACTERIZATION
Lonati, Violetta
Mandrioli, Dino
Panella, Federica
Pradella, Matteo
SIAM JOURNAL ON COMPUTING, 2015, 44 (04) : 1026 - 1088
[3] Automata-theoretic hierarchies
Niwinski, Damian
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (96):
[4] AN AUTOMATA-THEORETIC CHARACTERIZATION OF THE OI-HIERARCHY
DAMM, W
GOERDT, A
LECTURE NOTES IN COMPUTER SCIENCE, 1982, 140 : 141 - 153
[5] An Automata-Theoretic Characterization of the Chomsky-Hierarchy
Nagy, Benedek
THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2010, 6108 : 361 - 372
[6] Automata-theoretic analysis of bit-split languages for packet scanning
Dixon, Ryan
Egecioglu, Oemer
Sherwood, Timothy
IMPLEMENTATION AND APPLICATION OF AUTOMATA, PROCEEDINGS, 2008, 5148 : 141 - 150
[7] AN AUTOMATA-THEORETIC FRAMEWORK FOR INTELLIGENT SYSTEMS
KIM, SH
ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, 1989, 5 (01) : 43 - 51
[8] Automata-theoretic decision of timed games
Faella, Marco
La Torre, Salvatore
Murano, Aniello
THEORETICAL COMPUTER SCIENCE, 2014, 515 : 46 - 63
[9] An automata-theoretic approach to constraint LTL
Demri, Stephane
D'Souza, Deepak
INFORMATION AND COMPUTATION, 2007, 205 (03) : 380 - 415
[10] AN AUTOMATA-THEORETIC APPROACH TO BEHAVIORAL EQUIVALENCE
DEVADAS, S
KEUTZER, K
INTEGRATION-THE VLSI JOURNAL, 1991, 12 (02) : 109 - 129

← 1 2 3 4 5 →