VSL 2014: VIENNA SUMMER OF LOGIC 2014

Rewriting, Proofs, and Transition Systems

Authors: Gilles Dowek and Ying Jiang

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Rewriting, Proofs, and Transition Systems
Authors:Gilles Dowek and Ying Jiang
Proceedings:IFIP-WG16 Proceedings (Abstracts)
Editor: Jürgen Giesl
Keywords:cut-elimination, reachability, alternating pushdown systems
Abstract:
Pages:1
Talk:Jul 13 10:45
Paper:
Disclaimer | Powered by EasyChair Smart Program