Browsing by Author Ianovski, Egor
Showing results 1 to 1 of 1
Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures
Author(s) | Tiu, Alwen; Ianovski, Egor; Gore, Rajeev |
---|---|
Type | Conference paper |
Date Published | 2012 |
Date Created | August 22-25 2012 |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator