EQUATIONAL BASES FOR IF-THEN-ELSE

被引：14

|

作者：

MEKLER, AH ^{[1
]}

NELSON, EM ^{[1
]}

机构：

[1] MCMASTER UNIV,DEPT MATH & STAT,HAMILTON L8S 4K1,ONTARIO,CANADA

来源：

SIAM JOURNAL ON COMPUTING | 1987年 / 16卷 / 03期

关键词：

D O I：

10.1137/0216033

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：465 / 485

页数：21

相关论文

共 50 条

[1] EQUATIONAL AXIOMATIZATIONS OF IF-THEN-ELSE
GUESSARIAN, I
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 308 : 98 - 110
[2] ADAS AND THE EQUATIONAL THEORY OF IF-THEN-ELSE
MANES, EG
ALGEBRA UNIVERSALIS, 1993, 30 (03) : 373 - 394
[3] Reduction of Hilbert-type proof systems to the if-then-else equational logic
Jeong J.
Journal of Applied Mathematics and Computing, 2004, 14 (1-2) : 69 - 80
[4] IF-THEN-ELSE, AGAIN
NEWMAN, PS
SIGPLAN NOTICES, 1983, 18 (12): : 106 - 111
[5] VARIETIES OF IF-THEN-ELSE
BLOOM, SL
TINDELL, R
SIAM JOURNAL ON COMPUTING, 1983, 12 (04) : 677 - 707
[6] ON THE AXIOMATIZATION OF IF-THEN-ELSE
GUESSARIAN, I
MESEGUER, J
SIAM JOURNAL ON COMPUTING, 1987, 16 (02) : 332 - 357
[7] EQUATIONS FOR IF-THEN-ELSE
MANES, EG
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 598 : 446 - 456
[8] A TRANSFORMATIONAL CHARACTERIZATION OF IF-THEN-ELSE
MANES, EG
THEORETICAL COMPUTER SCIENCE, 1990, 71 (03) : 413 - 417
[9] On If-Then-Else inference rules
Ruan, D
Kerre, EE
INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 1420 - 1425
[10] AN IMPROVEMENT TO THE IF-THEN-ELSE AND SELECT CLAUSES
TAYLOR, D
SIGPLAN NOTICES, 1983, 18 (10): : 33 - 37

← 1 2 3 4 5 →