CRACS - Other Publications

Permanent URI for this collection

http://localhost:4000/handle/123456789/136

Browse

0-9
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

Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2016, Porto, Portugal, June 23, 2016

( 2016) Dowek,G ; Licata,DR ; Sandra Alves