VSL 2014: VIENNA SUMMER OF LOGIC 2014

Decision Procedures for Proving Inductive Theorems Without Induction

Authors: Takahito Aoto and Sorin Stratulat

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Decision Procedures for Proving Inductive Theorems Without Induction
Authors:Takahito Aoto and Sorin Stratulat
Proceedings:IFIP-WG16 Proceedings (Abstracts)
Editor: Jürgen Giesl
Keywords:induction, initial algebra, term rewriting
Abstract:
Pages:1
Talk:Jul 13 08:45
Paper:
Disclaimer | Powered by EasyChair Smart Program