Kat and Phl in Coq

AuthID
P-003-TD0
2
Author(s)
Tipo de Documento
Article
Year published
2008
Publicado
in COMPUTER SCIENCE AND INFORMATION SYSTEMS, ISSN: 1820-0214
Volume: 5, Número: 2, Páginas: 137-160 (24)
Conference
Conference on Compilers, Related Technologies and Applications, Date: JUL 11, 2008, Location: Braganca, PORTUGAL, Patrocinadores: Microsoft, Polytech Inst Braganca, Dept Comp Sci, Univ Minho, Dept Comp Sci, Univ Beira Interior, Dept Comp Sci
Indexing
Publication Identifiers
DBLP: journals/comsis/PereiraM08
SCOPUS: 2-s2.0-70349671339
Wos: WOS:000267373100010
Source Identifiers
ISSN: 1820-0214
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.