Kleene algebra with relations

被引：0
|
作者：
Desharnais, J [1 ]
机构：
[1] Univ Laval, Dept Informat & Genie Logiciel, St Foy, PQ G1K 7P4, Canada
来源：
RELATIONAL AND KLEENE-ALGEBRAIC METHODS IN COMPUTER SCIENCE | 2003年 / 3051卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Matrices over a Kleene algebra with tests themselves form a Kleene algebra. The matrices whose entries are tests form an algebra of relations if the converse of a matrix is defined as its transpose. Abstracting from this concrete setting yields the concept of Kleene algebra with relations.
引用
收藏
页码：8 / 20
页数：13
相关论文
共 50 条
  • [21] Monodic tree kleene algebra
    Takai, Toshinori
    Furusawa, Hitoshi
    RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2006, 4136 : 402 - 416
  • [22] Proof theory for Kleene algebra
    Hardin, C
    LICS 2005: 20TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE - PROCEEDINGS, 2005, : 290 - 299
  • [23] Probabilistic Concurrent Kleene Algebra
    McIver, Annabelle
    Rabehaja, Tahiry
    Struth, Georg
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (117): : 97 - 115
  • [24] On the Complexity of Kleene Algebra with Domain
    Sedlar, Igor
    RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, RAMICS 2023, 2023, 13896 : 208 - 223
  • [25] Kleene Algebra Modulo Theories
    Greenberg, Michael
    Beckett, Ryan
    Campbell, Eric
    PROCEEDINGS OF THE 43RD ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '22), 2022, : 594 - 608
  • [26] TOWARDS KLEENE ALGEBRA WITH RECURSION
    LEISS, H
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 626 : 242 - 256
  • [27] Termination in modal Kleene algebra
    Desharnais, J
    Möller, B
    Struth, G
    EXPLORING NEW FRONTIERS OF THEORETICAL INFORMATICS, 2004, 155 : 647 - 660
  • [28] On the complexity of reasoning in Kleene algebra
    Kozen, D
    12TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1997, : 195 - 202
  • [29] Completeness and Incompleteness in Nominal Kleene Algebra
    Kozen, Dexter
    Mamouras, Konstantinos
    Silva, Alexandra
    RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMICS 2015), 2015, 9348 : 51 - 66
  • [30] A Quest for Kleene Algebra in 2 Dimensions
    Stefanescu, Gheorghe
    RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMICS 2015), 2015, 9348 : 3 - 26
12345