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®
Publication Identifiers
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.

A place for researchers and their institutions

Useful Links

Get Help

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