Special Issue: Logical and Semantical Frameworks with Applications
Index by Author: Volume 17, Number 5, October 2009
[Table of Contents]
A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z
A
- Arruda, Alexandre Matos
[Abstract]
[PDF]
[References]
- Ayala-Rincón, Mauricio [PDF]
B
- Benevides, Mario R. F. [Abstract] [PDF] [References]
D
- Dowek, Gilles [Abstract] [PDF] [References]
G
- Gaboardi, Marco [Abstract] [PDF] [References]
H
- Haeusler, Edward Hermann [PDF]
M
- Martins, Ana Teresa [Abstract] [PDF] [References]
R
- Rocca, Simona Ronchi Della [Abstract] [PDF] [References]
S
- Schechter, L. Menasché [Abstract] [PDF] [References]