Cryptomorphisms at Work

AuthID
 P-000-6PK
2
Author(s)
3
Editor(s)
Fiadeiro,JL;Mosses,PD;Orejas,F
Document Type
Article
Year published
2005
Published
in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 3423, Pages: 45-60 (16)
Conference
17Th International Workshop on Algebraic Development Techniques, Date: MAR 27-29, 2004, Location: Barcelona, SPAIN, Host: Tech Univ Catalonia
Indexing
Wos®
Scopus®
Dblp®/en/publications/view/6867
Google Scholar®
Publication Identifiers
Dblp: conf/wadt/CaleiroR04
Scopus: 2-s2.0-24344434650
Wos: WOS:000229183700003
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

footer slogan

Useful Links

Get Help

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