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
Wos®
Scopus®
Dblp®/en/publications/view/125344
Crossref®3
Google Scholar®
Publication Identifiers
DBLP: journals/comsis/PereiraM08
SCOPUS: 2-s2.0-70349671339
Wos: WOS:000267373100010
Source Identifiers
ISSN: 1820-0214
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service