VSL 2014: VIENNA SUMMER OF LOGIC 2014

Cyclic Proof for Quantitative Logics

Author: Alex Simpson

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Cyclic Proof for Quantitative Logics
Authors:Alex Simpson
Proceedings:GSB 2014 Proceedings
Editors: Roman Kuznets and George Metcalfe
Keywords:
Abstract:
Pages:1
Talk:Jul 13 14:30
Paper:
Disclaimer | Powered by EasyChair Smart Program