The well-structured collaborators

被引:0
|
作者
Kerdellant, Christine
机构
来源
HISTORIA | 2023年 / 923期
关键词
D O I
暂无
中图分类号
K [历史、地理];
学科分类号
06 ;
摘要
引用
收藏
页码:28 / 30
页数:3
相关论文
共 50 条
  • [41] Initial and concurrent planning in solutions to well-structured problems
    Davies, SP
    QUARTERLY JOURNAL OF EXPERIMENTAL PSYCHOLOGY SECTION A-HUMAN EXPERIMENTAL PSYCHOLOGY, 2003, 56 (07): : 1147 - 1164
  • [42] Decidability Results for Well-structured Graph Transformation Systems
    Koenig, Barbara
    Stueckrath, Jan
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (140): : 87 - 88
  • [43] Computable fixpoints in well-structured symbolic model checking
    Bertrand, N.
    Schnoebelen, P.
    FORMAL METHODS IN SYSTEM DESIGN, 2013, 43 (02) : 233 - 267
  • [44] Fundamental structures in well-structured infinite transition systems
    Finkel, A
    Schnoebelen, P
    LATIN '98: THEORETICAL INFORMATICS, 1998, 1380 : 102 - 118
  • [45] Parameterized Verification of Coverability in Well-Structured Broadcast Networks
    Balasubramanian, A. R.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (277): : 133 - 146
  • [46] Common knowledge in well-structured perfect recall systems
    Garanina N.O.
    Automatic Control and Computer Sciences, 2014, 48 (07) : 381 - 388
  • [47] Meta-kernelization using well-structured modulators
    Eiben, Eduard
    Ganian, Robert
    Szeider, Stefan
    DISCRETE APPLIED MATHEMATICS, 2018, 248 : 153 - 167
  • [48] Infrastructure Mapping in Well-Structured Environments Using MAV
    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
    Zhang, XZ
    Zhang, YC
    Fong, J
    Jia, XH
    INFORMATION AND SOFTWARE TECHNOLOGY, 1999, 41 (05) : 275 - 281
  • [50] Scalable filtering of well-structured XML message stream
    Rao, WX
    Chen, YJ
    Zhang, XQ
    Ma, FY
    GRID AND COOPERATIVE COMPUTING, PT 2, 2004, 3033 : 279 - 286