The Došen Square Under Construction : A Tale of Four Modalities
Mendler, Michael; Scheele, Stephan; Burke, Luke (2021): The Došen Square Under Construction : A Tale of Four Modalities, in: Anupam Das, Sara Negri, Anupam Das, u. a. (Hrsg.), Automated Reasoning with Analytic Tableaux and Related Methods : 30th International Conference, TABLEAUX 2021 Birmingham, UK, September 6–9, 2021 Proceedings, Cham: Springer, S. 446–465, doi: 10.1007/978-3-030-86059-2_26.
Faculty/Chair:
Author:
 ;  ; 
Title of the compilation:
Automated Reasoning with Analytic Tableaux and Related Methods : 30th International Conference, TABLEAUX 2021 Birmingham, UK, September 6–9, 2021 Proceedings
Editors:
Das, Anupam
Negri, Sara
Conference:
30th International Conference, TABLEAUX 2021 Birmingham, UK, September 6–9, 2021 ; Birmingham, UK
Publisher Information:
Year of publication:
2021
Pages:
ISBN:
978-3-030-86058-5
978-3-030-86059-2
Series ; Volume:
Lecture Notes in Artificial Intelligence ; 12842

Lecture Notes in Computer Science
Language:
English
DOI:
URL:
Type:
Conferenceobject
URI:
Activation date:
November 12, 2025

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/111259