AN INTERACTIVE ENHANCEMENT TO THE BOYER-MOORE THEOREM PROVER

被引：0

|

作者：

KAUFMANN, M ^{[1
]}

机构：

[1] COMPUTAT LOG INC,AUSTIN,TX 78703

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 310卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：735 / 736

页数：2

相关论文

共 50 条

[1] THE BOYER-MOORE THEOREM PROVER AND ITS INTERACTIVE ENHANCEMENT
BOYER, RS
KAUFMANN, M
MOORE, JS
COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1995, 29 (02) : 27 - 62
[2] Describing and verifying synchronous circuits with the Boyer-Moore theorem prover
Pierre, L
CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, 1995, 987 : 35 - 55
[3] MODELING AND VERIFICATION OF TIMING CONDITIONS WITH THE BOYER-MOORE PROVER
KINNIMENT, DJ
KOELMANS, AM
IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 10 : 111 - 127
[4] A RAMSEY THEOREM IN BOYER-MOORE LOGIC
KUNEN, K
JOURNAL OF AUTOMATED REASONING, 1995, 15 (02) : 217 - 235
[5] MECHANICALLY VERIFYING CONCURRENT PROGRAMS WITH THE BOYER-MOORE PROVER
GOLDSCHLAG, DM
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (09) : 1005 - 1023
[6] Ramsey theorem in Boyer-Moore logic
Kunen, Kenneth
Journal of Automated Reasoning, 1995, 15 (02): : 217 - 235
[7] Interaction with the Boyer-Moore theorem prover: A tutorial study using the arithmetic-geometric mean theorem
Kaufmann, M
Pecchiari, P
JOURNAL OF AUTOMATED REASONING, 1996, 16 (1-2) : 181 - 222
[8] ON BOYER-MOORE AUTOMATA
BAEZAYATES, RA
CHOFFRUT, C
GONNET, GH
ALGORITHMICA, 1994, 12 (4-5) : 268 - 292
[9] On Boyer-Moore automata
Baeza-Yates, R.A.
Choffrut, C.
Gonnet, G.H.
Algorithmica (New York), 1994, 12 (4-5): : 268 - 292
[10] On the size of Boyer-Moore automata
Baeza-Yates, Ricardo
Bruyere, Veronique
Delgrange, Olivier
Scheihing, Rodrigo
THEORETICAL COMPUTER SCIENCE, 2009, 410 (43) : 4432 - 4443

← 1 2 3 4 5 →