Publicações

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

AuthID
P-008-65E

Author(s)

Volpe, M

Marcos, J

Caleiro, C

Tipo de Documento

Proceedings Paper

Year published

2012

Publicado

in WoLLIC, ISSN: 0302-9743

Volume: 7456 LNCS, Páginas: 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, Patrocinadores: 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