Kat and Phl in Coq

AuthID
P-003-TD0
2
Author(s)
Document Type
Article
Year published
2008
Published
in COMPUTER SCIENCE AND INFORMATION SYSTEMS, ISSN: 1820-0214
Volume: 5, Issue: 2, Pages: 137-160 (24)
Conference
Conference on Compilers, Related Technologies and Applications, Date: JUL 11, 2008, Location: Braganca, PORTUGAL, Sponsors: 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
Marked List
Info
At this moment we don't have any links to full text documens.