Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
2012
|
| _version_ | 1826274795620139008 |
|---|---|
| author | Tiu, A Ianovski, E Goré, R |
| author_facet | Tiu, A Ianovski, E Goré, R |
| author_sort | Tiu, A |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-06T22:48:52Z |
| format | Conference item |
| id | oxford-uuid:5e214f81-7e97-4f59-85ae-99abb645e22a |
| institution | University of Oxford |
| last_indexed | 2024-03-06T22:48:52Z |
| publishDate | 2012 |
| record_format | dspace |
| spelling | oxford-uuid:5e214f81-7e97-4f59-85ae-99abb645e22a2022-03-26T17:38:37ZGrammar Logics in Nested Sequent Calculus: Proof Theory and Decision ProceduresConference itemhttp://purl.org/coar/resource_type/c_5794uuid:5e214f81-7e97-4f59-85ae-99abb645e22aDepartment of Computer Science2012Tiu, AIanovski, EGoré, R |
| spellingShingle | Tiu, A Ianovski, E Goré, R Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures |
| title | Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures |
| title_full | Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures |
| title_fullStr | Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures |
| title_full_unstemmed | Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures |
| title_short | Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures |
| title_sort | grammar logics in nested sequent calculus proof theory and decision procedures |
| work_keys_str_mv | AT tiua grammarlogicsinnestedsequentcalculusprooftheoryanddecisionprocedures AT ianovskie grammarlogicsinnestedsequentcalculusprooftheoryanddecisionprocedures AT gorer grammarlogicsinnestedsequentcalculusprooftheoryanddecisionprocedures |