Skip navigation
The Australian National University

A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search

Citation

Hou, Z, Tiu, A & Gore, 2013,'A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search', TABLEAUX 2013, ed. D. Galmiche and D. Larchey-Wendling, Springer-Verlag Berlin Heidelberg, USA, pp. 172-187.

Year

2013

ANU Authors

Field of Research

  • Computation Theory And Mathematics Not Elsewhere Classified

Updated:  25 September 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers