共 50 条
- [42] Decidability Results for Well-structured Graph Transformation Systems ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (140): : 87 - 88
- [43] Initial and concurrent planning in solutions to well-structured problems QUARTERLY JOURNAL OF EXPERIMENTAL PSYCHOLOGY SECTION A-HUMAN EXPERIMENTAL PSYCHOLOGY, 2003, 56 (07): : 1147 - 1164
- [45] Fundamental structures in well-structured infinite transition systems LATIN '98: THEORETICAL INFORMATICS, 1998, 1380 : 102 - 118
- [46] Parameterized Verification of Coverability in Well-Structured Broadcast Networks ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (277): : 133 - 146
- [49] Infrastructure Mapping in Well-Structured Environments Using MAV TOWARDS AUTONOMOUS ROBOTIC SYSTEMS, TAROS 2016, 2016, 9716 : 116 - 126