On hoare logic and Kleene algebra with tests

被引：0
|
作者：
Cornell Univ, Ithaca, United States [1 ]
机构：
来源：
Proc Symp Logic Comput Sci | / 167-172期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Several results on de Morgan algebra and Kleene algebra of fuzzy logic
    Deng, JM
    Umano, M
    Oda, T
    Uno, Y
    10TH IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1-3: MEETING THE GRAND CHALLENGE: MACHINES THAT SERVE PEOPLE, 2001, : 1144 - 1147
  • [22] Kleene Algebra with Tests and Coq Tools for while Programs
    Pous, Damien
    INTERACTIVE THEOREM PROVING, ITP 2013, 2013, 7998 : 180 - 196
  • [23] A Cyclic Proof System for Guarded Kleene Algebra with Tests
    Rooduijn, Jan
    Kozen, Dexter
    Silva, Alexandra
    AUTOMATED REASONING, IJCAR 2024, PT II, 2024, 14740 : 257 - 275
  • [24] Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests
    Pous, Damien
    ACM SIGPLAN NOTICES, 2015, 50 (01) : 357 - 368
  • [25] How the location of * influences complexity in Kleene algebra with tests
    Hardin, C
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3452 : 224 - 239
  • [26] Certification of compiler optimizations using Kleene algebra with tests
    Kozen, D
    Patron, MC
    COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 568 - 582
  • [27] On the relation between Concurrent Separation Logic and Concurrent Kleene Algebra
    O'Hearn, Peter W.
    Petersen, Rasmus L.
    Villard, Jules
    Hussain, Akbar
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2015, 84 (03) : 285 - 302
  • [28] Implicational Kleene algebra with domain and the substructural logic of partial correctness
    Sedlar, Igor
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2024, 34 (07) : 645 - 660
  • [29] Kleene's three-valued logic and process algebra
    Bergstra, JA
    Ponse, A
    INFORMATION PROCESSING LETTERS, 1998, 67 (02) : 95 - 103
  • [30] Kleene Algebra with Hypotheses
    Doumane, Amina
    Kuperberg, Denis
    Pous, Damien
    Pradic, Pierre
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2019, 2019, 11425 : 207 - 223
12345