VSL 2014: VIENNA SUMMER OF LOGIC 2014

This page contains an index consisting of author-provided keywords.

A
alternating pushdown systems	Rewriting, Proofs and Transition Systems
C
computer music	Rhythm Tree Rewriting
cut-elimination	Rewriting, Proofs and Transition Systems
D
digital revolution	Impacts of the Digital Revolution on two Main Activities of Scientists: Teaching and Publishing
F
first-order logic	Semantically-Guided Goal-Sensitive Theorem Proving
I
Induction	Decision Procedures for Proving Inductive Theorems without Induction
initial algebra	Decision Procedures for Proving Inductive Theorems without Induction
L
leftmost outermost	Basic Normalization
M
massive open online courses	Impacts of the Digital Revolution on two Main Activities of Scientists: Teaching and Publishing
model-based reasoning	Semantically-Guided Goal-Sensitive Theorem Proving
N
Normalization	Basic Normalization
O
overlay journals	Impacts of the Digital Revolution on two Main Activities of Scientists: Teaching and Publishing
R
reachability	Rewriting, Proofs and Transition Systems
rhythm representation	Rhythm Tree Rewriting
S
semantics	Semantically-Guided Goal-Sensitive Theorem Proving
T
term rewriting	Rhythm Tree Rewriting Basic Normalization Decision Procedures for Proving Inductive Theorems without Induction

Disclaimer | Powered by EasyChair Smart Program