Publication

Found 1 results
Filters: Author is McIver, Annabelle  [Clear All Filters]
2015
Nomura S, Sano K, Tojo S.  2015.  A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic. Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings. :187–202.