Editor - Valeria de Paiva

Home‎ > ‎

Editor

Advances in Natural Deduction (provisional title), Editor of a special volume with L. C. Pereira and H. E. Hausler.

Editorial Board of the new series of books in "Logic Language and Information", published with Springer-Verlag as part of the Lecture Notes in Artificial Intelligence (LNCS/LNAI), a FoLLI initiative.
Editorial Board of LOMECS, Logical Methods in Computer Science .
Editorial Board of TAC, Theory and Applications of Categories .
Editorial Board of Logica Universalis, a new journal from Birkhauser Basel [Springer].
Advisory Board of Polimetrica (Category Theory)

Comments

Sign in|Report Abuse|Print Page|Remove Access|Powered By Google Sites