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. p. 277-293 (Lecture Notes in Computer Science; Vol. 11714).

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

E-pub ahead of print

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
Pages277-293
Number of pages17
ISBN (Electronic)978-3-030-29026-9
ISBN (Print)978-3-030-29025-2
DOIs
Publication statusE-pub ahead of print - 14 Aug 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/

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume11714

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