Hypersequent and labelled calculi for intermediate logics

  1. Ciabattoni, A.
  2. Maffezioli, P.
  3. Spendier, L.
Colección de libros:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 0302-9743,  1611-3349

ISBN: 9783642405365

Año de publicación: 2013

Automated Reasoning with Analytic Tableaux and Related Methods - 22nd International Conference, TABLEAUX 2013, Proceedings

Volumen: 8123 LNAI

Páginas: 81-96

Tipo: Aportación congreso

DOI: 10.1007/978-3-642-40537-2_9 GOOGLE SCHOLAR
Fuente de los datos: Scopus