On the Algebraization of Many-Sorted Logics

AuthID
P-004-EHW
2
Author(s)
2
Editor(s)
Fiadeiro, JL; Schobbens, PY
Document Type
Proceedings Paper
Year published
2007
Published
in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 4409, Pages: 21-36 (16)
Conference
18Th International Workshop on Algebraic Development Techniques, Date: JUN 01-03, 2006, Location: La Roche en Ardenne, BELGIUM, Sponsors: IFIP WG 1 3, Univ Namur, Fac Univ Notre Dame Paix
Indexing
Publication Identifiers
Scopus: 2-s2.0-38049108203
Wos: WOS:000246397200002
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.