Combining Logics: Parchments Revisited

AuthID
 P-00P-24E
4
Author(s)
2
Editor(s)
Maura Cerioli; Gianna Reggio
Document Type
Proceedings Paper
Year published
2001
Published
in Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers in Lecture Notes in Computer Science
Volume: 2267, Pages: 48-70
Indexing
Dblp®/pt/publications/view/723086
Publication Identifiers
Dblp: conf/wadt/CaleiroMRS01
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas instituições

Useful Links

Get Help

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