Some varieties of equational logic

被引：0
|
作者：
Plotkin, Gordon [1 ]
机构：
[1] Univ Edinburgh, LFCS, Sch Informat, Edinburgh EH8 9YL, Midlothian, Scotland
来源：
ALGEBRA, MEANING, AND COMPUTATION: ESSAYS DEDICATED TO JOSEPH A. GOGUEN ON THE OCCASION OF HIS 65TH BIRTHDAY | 2006年 / 4060卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：150 / 156
页数：7
相关论文
共 50 条
  • [41] 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
  • [42] 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
  • [43] A spatial equational logic for the applied π-calculus
    Lozes, Etienne
    Villard, Jules
    DISTRIBUTED COMPUTING, 2010, 23 (01) : 61 - 83
  • [44] Specification and proof in membership equational logic
    Bouhoula, A
    Jouannaud, JP
    Meseguer, J
    THEORETICAL COMPUTER SCIENCE, 2000, 236 (1-2) : 35 - 132
  • [45] EQUATIONAL LOGIC AND THEORIES IN SENTENTIAL LANGUAGES
    SUSZKO, R
    COLLOQUIUM MATHEMATICUM, 1974, 29 (01) : 19 - 23
  • [46] Equational logic of recursive program schemes
    Mersch, JG
    ALEBRA AND COALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2005, 3629 : 278 - 292
  • [47] A spatial equational logic for the applied π-calculus
    Étienne Lozes
    Jules Villard
    Distributed Computing, 2010, 23 : 61 - 83
  • [48] A weak form of interpolation in equational logic
    Maksimova, L. L.
    ALGEBRA AND LOGIC, 2008, 47 (01) : 56 - 64
  • [49] ANALYSES OF UNSATISFIABILITY FOR EQUATIONAL LOGIC PROGRAMMING
    ALPUENTE, M
    FALASCHI, M
    MANZO, F
    JOURNAL OF LOGIC PROGRAMMING, 1995, 22 (03): : 223 - 254
  • [50] EQUATIONAL COMPACTNESS IN QUASI-PRIMAL VARIETIES
    BULMANFLEMING, S
    WERNER, H
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 22 (04): : A448 - A448
12345