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 条
  • [41] Position Automata for Kleene Algebra with Tests
    Silva, Alexandra
    SCIENTIFIC ANNALS OF COMPUTER SCIENCE, 2012, 22 (02) : 367 - 394
  • [42] Completeness and Incompleteness of Synchronous Kleene Algebra
    Wagemaker, Jana
    Bonsangue, Marcello
    Kappe, Tobias
    Rot, Jurriaan
    Silva, Alexandra
    MATHEMATICS OF PROGRAM CONSTRUCTION, 2019, 11825 : 385 - 413
  • [43] Automatic proof generation in Kleene algebra
    Worthington, James
    RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE, 2008, 4988 : 382 - 396
  • [44] Kleene algebra with tests: Completeness and decidability
    Kozen, D
    Smith, F
    COMPUTER SCIENCE LOGIC, 1997, 1258 : 244 - 259
  • [45] A framework for Kleene algebra with an embedded structure
    Furusawa, Hitoshi
    RELATIONAL METHODS IN COMPUTER SCIENCE, 2005, 2006, 3929 : 96 - 107
  • [46] Completeness and incompleteness in nominal Kleene algebra
    Kozen, Dexter
    Mamouras, Konstantinos
    Silva, Alexandra
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2017, 91 : 17 - 32
  • [47] ON TOOLS FOR COMPLETENESS OF KLEENE ALGEBRA WITH HYPOTHESES
    Pous, Damien
    Rot, Jurriaan
    Wagemaker, Jana
    LOGICAL METHODS IN COMPUTER SCIENCE, 2024, 20 (02) : 1 - 8
  • [48] Investigating discrete controllability with kleene algebra
    Bherer, Hans
    Desharnais, Jules
    Frappier, Marc
    St-Denis, Richard
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 3051 : 74 - 85
  • [49] Image segmentation based on Kleene algebra
    Hata, Y
    Ishikawa, M
    Kamiura, N
    1998 28TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC - PROCEEDINGS, 1998, : 155 - 160
  • [50] On hoare logic and Kleene algebra with tests
    Cornell Univ, Ithaca, United States
    Proc Symp Logic Comput Sci, (167-172):
12345