AN EQUATIONAL LOGIC SAMPLER

被引：0
|
作者：
MCNULTY, GF
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 355卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：234 / 262
页数：29
相关论文
共 50 条
  • [21] A rewriting logic sampler
    Meseguer, J
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2005, 2005, 3722 : 1 - 28
  • [22] Prime Implicate Generation in Equational Logic
    Echenim, Mnacho
    Peltier, Nicolas
    Tourret, Sophie
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2017, 60 : 827 - 880
  • [23] SLOG - A LOGIC INTERPRETER FOR EQUATIONAL CLAUSES
    FRIBOURG, L
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 247 : 479 - 480
  • [24] A spatial equational logic for the applied π-calculus
    Lozes, Etienne
    Villard, Jules
    CONCUR 2008 - CONCURRENCY THEORY, PROCEEDINGS, 2008, 5201 : 387 - 401
  • [25] HYBRID IDENTITIES AND HYBRID EQUATIONAL LOGIC
    DENECKE, K
    MATHEMATICAL LOGIC QUARTERLY, 1995, 41 (02) : 190 - 196
  • [26] Impossibility Results in the Equational Logic of Processes
    Aceto, Luca
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 169 : 3 - 6
  • [27] LOGIC PROGRAMS WITH EQUATIONAL TYPE SPECIFICATIONS
    HANUS, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 463 : 70 - 85
  • [28] Parameterized Metareasoning in Membership Equational Logic
    Clavel, Manuel
    Marti-Oliet, Narciso
    Palomino, Miguel
    FORMAL MODELING: ACTORS, OPEN SYSTEMS, BIOLOGICAL SYSTEMS: ESSAYS DEDICATED TO CAROLYN TALCOTT ON THE OCCASION OF HER 70TH BIRTHDAY, 2011, 7000 : 277 - 298
  • [29] Equational Abstractions in Rewriting Logic and Maude
    Marti-Oliet, Narciso
    Duran, Francisco
    Verdejo, Alberto
    FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2014, 2015, 8941 : 17 - 31
  • [30] A spatial equational logic for the applied π-calculus
    Lozes, Etienne
    Villard, Jules
    DISTRIBUTED COMPUTING, 2010, 23 (01) : 61 - 83
12345