Publicações

Parameterisation of Logics

AuthID
P-00K-68W

Author(s)

Caleiro, C

Sernadas, C

Sernadas, A

Editor(s)

José Luiz Fiadeiro

Document Type

Proceedings Paper

Year published

1998

Published

in Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 1589, Pages: 48-62

Conference

13Th International Workshop on Algebraic Development Techniques, Wadt 1998, Date: 2 April 1998 through 4 April 1998, Sponsors: British Council;et al.;EU programme “Training and Mobility of Researchers”;Luso-American Development Foundation;Portugal Telecom;TAP Air Portugal

Indexing