METATHEOREMS FOR DECISION-PROBLEMS ON HYPEREDGE REPLACEMENT GRAPH LANGUAGES

被引：16

|

作者：

HABEL, A ^{[1
]}

KREOWSKI, HJ ^{[1
]}

VOGLER, W ^{[1
]}

机构：

[1] TECH UNIV MUNICH, INST INFORMAT, D-8000 MUNICH 2, FED REP GER

来源：

ACTA INFORMATICA | 1989年 / 26卷 / 07期

关键词：

D O I：

10.1007/BF00288976

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：657 / 677

页数：21

相关论文

共 50 条

[21] ON THE EXISTENCE OF THE MINIMUM ASYNCHRONOUS AUTOMATON AND ON DECISION-PROBLEMS FOR UNAMBIGUOUS REGULAR TRACE LANGUAGES
BRUSCHI, D
PIGHIZZINI, G
SABADINI, N
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 294 : 334 - 345
[22] FILTERING HYPEREDGE REPLACEMENT LANGUAGES THROUGH COMPATIBLE PROPERTIES
HABEL, A
KREOWSKI, HJ
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 411 : 107 - 120
[23] The Subgraph Isomorphism Problem on a Class of Hyperedge Replacement Languages
de Ridder, H. N.
de Ridder, N.
GRAPH TRANSFORMATION, 2014, 8571 : 192 - 206
[24] DECISION-PROBLEMS FOR TERM REWRITING-SYSTEMS AND RECOGNIZABLE TREE-LANGUAGES
GILLERON, R
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 480 : 148 - 159
[25] DECOMPOSITION OF SATISFICING DECISION-PROBLEMS
TAKATSU, S
INFORMATION SCIENCES, 1980, 22 (02) : 139 - 148
[26] CATEGORIES OF DECISION-PROBLEMS AND THEIR RESOLUTION
RADFORD, KJ
INFOR, 1980, 18 (01) : 82 - 88
[27] DECISION-PROBLEMS OF OBJECT HISTORIES
CHO, YK
GINSBURG, S
INFORMATION AND COMPUTATION, 1989, 83 (02) : 245 - 263
[28] DECISION-PROBLEMS AND COXETER GROUPS
GRAW, B
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 380 : 209 - 223
[29] ON SOME DECISION-PROBLEMS IN PROGRAMMING
SPREEN, D
INFORMATION AND COMPUTATION, 1995, 122 (01) : 120 - 139
[30] SYSTEM FUNCTIONS AND THEIR DECISION-PROBLEMS
THURAISINGHAM, MB
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1984, 30 (02): : 119 - 128

← 1 2 3 4 5 →