Login

Editorials

Proof-theoretic semantics

Editorials

Published in 01-01-2006

Authors

Reinhard Kahle, Peter Schroeder-Heister,

13º Encontro Português de Computação Gráfica

Editorials

Published in 01-10-2005

Authors

Adriano Lopes,

Automata, Languages and Programming: 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings

Editorials

Published in 01-07-2005

Authors

Luis Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, Moti Yung,

Proceedings of PPDPí05, 7th ACM/SIGPLAN International Symposium on Principles and Practice of Declarative Programming

Editorials

Published in 01-07-2005

Authors

Amy Felty, Pedro Barahona,

Computational Logic in Multi-Agent Systems, 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers

Editorials

Published in 01-01-2005

Authors

João Leite, Paolo Torroni,

Reflections On Frege and Hilbert

Editorials

Published in 01-01-2005

Authors

Bernd Buldt, Volker Halbach, Reinhard Kahle,

Intensionality

Editorials

Published in 01-01-2005

Authors

Reinhard Kahle,

ITiCSE 2005: Proceedings of the 10th annual SIGCSE conference on Innovation and Technology in Computer Science Education

Editorials

Published in 01-01-2005

Authors

José Cardoso e Cunha, William Fleischman, João Lourenço, Viera K. Proulx,

Procs. Computational Models of Scientific Reasoning and Applications (CMSRA-IV)

Editorials

Published in 01-01-2005

Authors

Luís Moniz Pereira, Gregory Wheeler,

Festschrift on the occasion of Helmut Schwichtenberg’s 60th birthday

Editorials

Published in 01-01-2005

Authors

Wilfried Buchholz, Reinhard Kahle,