An Equation-Based Classical Logic

AuthID
P-00K-707
2
Author(s)
1
Editor(es)
de Queiroz R.Moss L.S.de Oliveira A.G.de Paiva V.Leivant D.
Tipo de Documento
Proceedings Paper
Year published
2015
Publicado
in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 9160, Páginas: 36-52
Conference
22Nd International Workshop on Logic, Language, Information and Computation, Wollic 2015, Date: 20 July 2015 through 23 July 2015, Patrocinadores: Applied Logics, IGPL;Association for Symbolic Logic, ASL;et al;European Association for Computer Science Logic, EACSL;European Association for Theoretical Computer Science, EATCS;Interest Group in Pure and;The Association for Logic, Language and Information, FoLLI
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-84958528303
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.