VSL 2014: VIENNA SUMMER OF LOGIC 2014

Proof theory for ordered algebra: amalgamation and densification

Author: Kazushige Terui

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Proof theory for ordered algebra: amalgamation and densification
Authors:Kazushige Terui
Proceedings:SD 2014 Informal Proceedings
Editors: Kaustuv Chaudhuri, Willem Heijltjes and Lutz Strassburger
Keywords:
Abstract:
Pages:1
Talk:Jul 12 14:30
Paper:
Disclaimer | Powered by EasyChair Smart Program