A Tableau Calculus for Regular Grammar Logics with Converse

From MaRDI portal
Publication:5191117

DOI10.1007/978-3-642-02959-2_31zbMath1250.03020OpenAlexW1580772169MaRDI QIDQ5191117

Linh Anh Nguyen, Andrzej Szałas

Publication date: 28 July 2009

Published in: Automated Deduction – CADE-22 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02959-2_31



Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).


Related Items (2)


Uses Software


Cites Work


This page was built for publication: A Tableau Calculus for Regular Grammar Logics with Converse