COMPOSITIONALITY IN THE TEMPORAL LOGIC OF CONCURRENT SYSTEMS - (EXTENDED ABSTRACT)

被引：0
|
作者：
DEBOER, FS
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 366卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：406 / 423
页数：18
相关论文
共 50 条
  • [41] DeepStochLog: Neural Stochastic Logic Programming (Extended Abstract)
    Winters, Thomas
    Marra, Giuseppe
    Manhaeve, Robin
    De Raedt, Luc
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, 364
  • [42] Accountable Protocols in Abductive Logic Programming (Extended Abstract)
    Gavanelli, Marco
    Alberti, Marco
    Lamma, Evelina
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (325):
  • [43] Connecting Decidability and Complexity for MSO Logic (Extended Abstract)
    Skrzypczak, Michal
    DEVELOPMENTS IN LANGUAGE THEORY, DLT 2017, 2017, 10396
  • [44] Bialgebraic operational semantics and modal logic (extended abstract)
    Klin, Bartek
    22ND ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2007, : 336 - +
  • [45] ON RESOLUTION IN FRAGMENTS OF CLASSICAL LINEAR LOGIC (EXTENDED ABSTRACT)
    HARLAND, JA
    PYM, DJ
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 : 30 - 41
  • [46] Temporal linear logic specifications for concurrent processes
    Kanovich, M
    Ito, T
    12TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1997, : 48 - 57
  • [47] Decision procedure for temporal logic of concurrent objects
    Bahsoun, JP
    El-Baïda, R
    Yar, HO
    EURO-PAR'99: PARALLEL PROCESSING, 1999, 1685 : 1344 - 1352
  • [48] Concurrent Game Structures for Temporal STIT Logic
    Boudou, Joseph
    Lorini, Emiliano
    PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS' 18), 2018, : 381 - 389
  • [49] Wittgensteinian Predicate Logic and Compositionality
    Wehmeier, Kai F.
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2024, 65 (02) : 113 - 125
  • [50] Compositionality of fixpoint logic with chop
    Zhan, NJ
    Wu, JZ
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2005, 2005, 3722 : 136 - 150
12345