Publications

An Equation-Based Classical Logic

AuthID
P-00G-WJX

Author(s)

Mordido, A

Caleiro, C

Editor(s)

DePaiva, V; DeQueiroz, R; Moss, LS; Leivant, D; DeOliveira, AG

Document Type

Proceedings Paper

Year published

2015

Published

in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2015 in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 9160, Pages: 38-52 (15)

Conference

22Nd International Workshop on Logic, Language, Information and Computation (Wollic), Date: JUL 19-22, 2015, Location: Indiana Univ Sch Informat & Comp, Dept Comp Sci, Bloomington, IN, Sponsors: Interest Grp Pure & Appl Log, Assoc Log, Language & Informat, Assoc Symbol Log, European Assoc Theoret Comp Sci, European Assoc Comp Sci Log, Soc Brasileira Computacao, Soc Brasileira Logica, Host: Indiana Univ Sch Informat & Comp, Dept Comp Sci

Indexing