IFIP-WG16 PROCEEDINGS (ABSTRACTS): KEYWORD INDEX

Shortcuts: A C F I L M N R S T

A
alternating pushdown systems	Rewriting, Proofs, and Transition Systems (PDF, talk)
C
computer music	Rhythm Tree Rewriting (PDF, talk)
cut-elimination	Rewriting, Proofs, and Transition Systems (PDF, talk)
F
first-order logic	Semantically-Guided Goal-Sensitive Theorem Proving (PDF, talk)
I
Induction	Decision Procedures for Proving Inductive Theorems Without Induction (PDF, talk)
initial algebra	Decision Procedures for Proving Inductive Theorems Without Induction (PDF, talk)
L
leftmost outermost	Basic Normalization (PDF, talk)
M
model-based reasoning	Semantically-Guided Goal-Sensitive Theorem Proving (PDF, talk)
N
normalization	Basic Normalization (PDF, talk)
R
Reachability	Rewriting, Proofs, and Transition Systems (PDF, talk)
rhythm representation	Rhythm Tree Rewriting (PDF, talk)
S
semantics	Semantically-Guided Goal-Sensitive Theorem Proving (PDF, talk)
T
term rewriting	Decision Procedures for Proving Inductive Theorems Without Induction (PDF, talk) Basic Normalization (PDF, talk) Rhythm Tree Rewriting (PDF, talk)