The well-structured collaborators

被引：0
作者：
Kerdellant, Christine
机构：
来源：
HISTORIA | 2023年 / 923期
关键词：
D O I：
暂无
中图分类号：
K [历史、地理];
学科分类号：
06 ;
摘要：
引用
收藏
页码：28 / 30
页数：3
相关论文
共 50 条
[41]   Fundamental structures in well-structured infinite transition systems [J].
Finkel, A ;
Schnoebelen, P .
LATIN '98: THEORETICAL INFORMATICS, 1998, 1380 :102-118
[42]   Well-structured program graphs and the issue of local computations [J].
Klopotek, MA .
INTELLIGENT INFORMATION SYSTEMS 2002, PROCEEDINGS, 2002, 17 :365-368
[43]   Ordinal theory for expressiveness of well-structured transition systems [J].
Bonnet, Remi ;
Finkel, Alain ;
Haddad, Serge ;
Rosa-Velardo, Fernando .
INFORMATION AND COMPUTATION, 2013, 224 :1-22
[44]   A well-structured framework for analysing petri net extensions [J].
Finkel, A ;
McKenzie, P ;
Picaronny, C .
INFORMATION AND COMPUTATION, 2004, 195 (1-2) :1-29
[45]   Parameterized Verification of Coverability in Well-Structured Broadcast Networks [J].
Balasubramanian, A. R. .
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (277) :133-146
[46]   Common knowledge in well-structured perfect recall systems [J].
Garanina N.O. .
Automatic Control and Computer Sciences, 2014, 48 (07) :381-388
[47]   Meta-kernelization using well-structured modulators [J].
Eiben, Eduard ;
Ganian, Robert ;
Szeider, Stefan .
DISCRETE APPLIED MATHEMATICS, 2018, 248 :153-167
[48]   Infrastructure Mapping in Well-Structured Environments Using MAV [J].
Fan, Yuantao ;
Aramrattana, Maytheewat ;
Shahbandi, Saeed Gholami ;
Nemati, Hassan Mashad ;
Astrand, Bjorn .
TOWARDS AUTONOMOUS ROBOTIC SYSTEMS, TAROS 2016, 2016, 9716 :116-126
[49]   Transforming RDB schema into well-structured OODB schema [J].
Zhang, XZ ;
Zhang, YC ;
Fong, J ;
Jia, XH .
INFORMATION AND SOFTWARE TECHNOLOGY, 1999, 41 (05) :275-281
[50]   Model checking μ-Calculus in well-structured transition systems [J].
Kouzmin, EV ;
Shilov, NV ;
Sokolov, VA .
11TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2004, :152-155
12345