Afficher la notice abrégée

Automated Reasoning with Analytic Tableaux and Related Methods

32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings

dc.contributor.editorRamanayake, Revantha
dc.contributor.editorUrban, Josef
dc.date.accessioned2025-03-07T21:12:45Z
dc.date.available2025-03-07T21:12:45Z
dc.date.issued2023
dc.date.submitted2023-10-13T15:44:24Z
dc.identifierONIX_20231013_9783031435133_37
dc.identifierOCN: 1398310890
dc.identifierhttps://library.oapen.org/handle/20.500.12657/76757
dc.identifier.urihttps://doab-dev.siscern.org/handle/20.500.12854/167028
dc.description.abstractThis open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023. The 20 full papers and 5 short papers included in this book together with 5 abstracts of invited talks were carefully reviewed and selected from 43 submissions. They present research on all aspects of the mechanization of reasoning with tableaux and related methods. The papers are organized in the following topical sections: tableau calculi; sequent calculi; theorem proving; non-wellfounded proofs; modal logics; linear logic and MV-algebras; separation logic; and first-order logics.
dc.languageEnglish
dc.relation.ispartofseriesLecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
dc.rightsopen access
dc.subject.othertableaux
dc.subject.othertableaux calculus
dc.subject.othersequent calculus
dc.subject.otherproof theory
dc.subject.othertheorem proving
dc.subject.otherproof assistant
dc.subject.othernatural deduction
dc.subject.otherformalized proof
dc.subject.otherdecision procedures
dc.subject.otherautomated deduction
dc.subject.otherSMT
dc.subject.otherresolution
dc.subject.othercut-elimination
dc.subject.othernon-classical logics
dc.subject.othermodal logic
dc.subject.otherintuitionistic
dc.subject.otherinear logic
dc.subject.othersubstructural logic
dc.subject.otherseparation logic
dc.titleAutomated Reasoning with Analytic Tableaux and Related Methods
dc.title.alternative32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings
dc.typebook
oapen.identifier.doi10.1007/978-3-031-43513-3
oapen.relation.isPublishedBy9fa3421d-f917-4153-b9ab-fc337c396b5a
oapen.relation.isFundedBy8b6a24b0-ef1f-46ee-8421-1410015df6db
oapen.relation.isbn9783031435133
oapen.relation.isbn9783031435126
oapen.imprintSpringer Nature Switzerland
oapen.pages482
oapen.place.publicationCham
oapen.grant.number[...]
dc.relationisFundedBy8b6a24b0-ef1f-46ee-8421-1410015df6db
dc.seriesnumber14278


Fichier(s) constituant ce document

FichiersTailleFormatVue

Il n'y a pas de fichiers associés à ce document.

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée

open access
Excepté là où spécifié autrement, la license de ce document est décrite en tant que open access