AN EQUATIONAL LOGIC SAMPLER

被引：0

|

作者：

MCNULTY, GF

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 355卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：234 / 262

页数：29

相关论文

共 50 条

[1] EQUATIONAL TYPE LOGIC
MANCA, V
SALIBRA, A
SCOLLO, G
THEORETICAL COMPUTER SCIENCE, 1990, 77 (1-2) : 131 - 159
[2] Nominal Equational Logic
Clouston, Ranald A.
Pitts, Andrew M.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 172 : 223 - 257
[3] Fuzzy equational logic
Bělohlávek R.
Archive for Mathematical Logic, 2002, 41 (1) : 83 - 90
[4] Equational Coalgebraic Logic
Kurz, Alexander
Leal, Raul
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 249 : 333 - 356
[5] EQUATIONAL LOGIC - REPLY
CERNY, E
IEEE TRANSACTIONS ON COMPUTERS, 1976, 25 (01) : 102 - 103
[6] EQUATIONAL PROPOSITIONAL LOGIC
GRIES, D
SCHNEIDER, FB
INFORMATION PROCESSING LETTERS, 1995, 53 (03) : 145 - 152
[7] Fuzzy equational logic
Belohlávek, R
ARCHIVE FOR MATHEMATICAL LOGIC, 2002, 41 (01): : 83 - 90
[8] Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
Clavel, Manuel
Meseguer, Jose
Palomino, Miguel
THEORETICAL COMPUTER SCIENCE, 2007, 373 (1-2) : 70 - 91
[9] A FIELD GUIDE TO EQUATIONAL LOGIC
MCNULTY, GF
JOURNAL OF SYMBOLIC COMPUTATION, 1992, 14 (04) : 371 - 397
[10] THE EQUATIONAL LOGIC FOR GRAPH ALGEBRAS
POSCHEL, R
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1989, 35 (03): : 273 - 282

← 1 2 3 4 5 →