Birkhoff Completeness for Hybrid-Dynamic First-Order Logic. / Gaina, Daniel; Tutu, Ionut.

The 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods: 3-5 September 2019, London, UK . Springer, 2019.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Forthcoming

Documents

Original languageEnglish
Title of host publicationThe 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Subtitle of host publication3-5 September 2019, London, UK
PublisherSpringer
Publication statusAccepted/In press - 15 Jun 2019
EventThe 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods - Middlesex University, London, United Kingdom
Duration: 3 Sep 20195 Sep 2019
Conference number: 2019
https://www.tableaux2019.org/

Conference

ConferenceThe 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Abbreviated titleTABLEAUX
CountryUnited Kingdom
CityLondon
Period3/09/195/09/19
Internet address
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 34167899