Publicações

Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics

AuthID
P-008-65E

Author(s)

Volpe, M

Marcos, J

Caleiro, C

Document Type

Proceedings Paper

Year published

2012

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 7456 LNCS, Pages: 321-335

Conference

19Th International Workshop on Logic, Language, Information and Computation, Wollic 2012, Date: 3 September 2012 through 6 September 2012, Location: Buenos Aires, Sponsors: Univ. Buenos Aires, Fac. Cienc. Exactas Nat., Dep. Comput.;Universidad de Buenos Aires, Facultad de Ciencias Economicas;Universidade Federal de Pernambuco, Centro de Informatica;Interest Group in Pure and Applied Logics (IGPL);Association for Logic, Language and Information (FoLLI)

Indexing