Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures

Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures

Alwen Tiu‚ Egor Ianovski and Rajeev Goré

Book Title
Advances in Modal Logic
Pages
516−537
Year
2012

Links

See Also

Back to Top