Publicações

Combining Logics: Parchments Revisited

AuthID
P-000-XVA

Author(s)

Caleiro, C

Mateus, P

Ramos, J

Sernadas, A

Editor(es)

Cerioli,M;Reggio,G

Tipo de Documento

Article

Year published

2001

Publicado

in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 2267, Páginas: 48-70 (23)

Conference

15Th International Workshop on Algebraic Development Techniques/General Workshop of the Esprit Working Group Cofi, Date: APR 01-03, 2001, Location: GENOA, ITALY, Patrocinadores: ESPRIT Working Grp, Common Framework Initiat, Univ Delgli Stud Genova, IFIP

Indexing