EQUATIONAL MU-CALCULUS

被引：0
|
作者：
NIWINSKI, D
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1985年 / 208卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：167 / 176
页数：10
相关论文
共 50 条
  • [21] Mu-Calculus Satisfiability with Arithmetic Constraints
    Y. Limón
    E. Bárcenas
    E. Benítez-Guerrero
    G. Molero Castillo
    A. Velázquez-Mena
    Programming and Computer Software, 2020, 46 : 503 - 510
  • [22] Sahlqvist Correspondence for Modal mu-calculus
    van Benthem, Johan
    Bezhanishvili, Nick
    Hodkinson, Ian
    STUDIA LOGICA, 2012, 100 (1-2) : 31 - 60
  • [23] DUALITY AND THE COMPLETENESS OF THE MODAL MU-CALCULUS
    AMBLER, S
    KWIATKOWSKA, M
    MEASOR, N
    THEORETICAL COMPUTER SCIENCE, 1995, 151 (01) : 3 - 27
  • [24] mu-Calculus Model Checking in Maude
    Wang, Bow-Yaw
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 117 : 135 - 152
  • [25] Quantified mu-calculus for control synthesis
    Riedweg, S
    Pinchinat, S
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2003, PROCEEDINGS, 2003, 2747 : 642 - 651
  • [26] An Axiom System of Probabilistic Mu-Calculus
    Liu, Wanwei
    Xu, Junnan
    Jansen, David N.
    Turrini, Andrea
    Zhang, Lijun
    TSINGHUA SCIENCE AND TECHNOLOGY, 2022, 27 (02) : 372 - 385
  • [27] The Arity Hierarchy in the Polyadic mu-Calculus
    Lange, Martin
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (191): : 105 - 116
  • [28] An Axiom System of Probabilistic Mu-Calculus
    Wanwei Liu
    Junnan Xu
    David N.Jansen
    Andrea Turrini
    Lijun Zhang
    Tsinghua Science and Technology, 2022, 27 (02) : 372 - 385
  • [29] SUCCINCTNESS IN SUBSYSTEMS OF THE SPATIAL mu-CALCULUS
    Fernandez-Duque, David
    Iliev, Petar
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2018, 5 (04): : 827 - 873
  • [30] An Infinitary Treatment of Full Mu-Calculus
    Afshari, Bahareh
    Jager, Gerhard
    Leigh, Graham E.
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2019), 2019, 11541 : 17 - 34
12345