Cryptomorphisms at Work

AuthID
P-00P-24F
2
Author(s)
3
Editor(s)
José Luiz Fiadeiro; Peter D. Mosses; Fernando Orejas
Document Type
Proceedings Paper
Year published
2004
Published
in Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers in Lecture Notes in Computer Science
Volume: 3423, Pages: 45-60
Indexing
Publication Identifiers
DBLP: conf/wadt/CaleiroR04
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.