Sigurd Meldal
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
1991–2001
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | FCT | Compositional Homomorphisms of Relational Structures. | Michal Walicki, Adis Hodzic, Sigurd Meldal |
| 1994 | COMPASS | Multialgebras, Power Algebras and Complete Calculi of Identities and Inclusions. | Michal Walicki, Sigurd Meldal |
| 1994 | LFCS | On Specialization of Derivations in Axiomatic Equality Theories. | Aida Pliuskeviciene, Regimantas Pliuskevicius, Michal Walicki, Sigurd Meldal |
| 1993 | ICLP | Sets and Nondeterminism. | Michal Walicki, Sigurd Meldal |
| 1991 | ICDCS | An object-oriented approach to formal specification of reactive systems. | Neel Madhav, Sigurd Meldal |
| 1991 | PODC | Exploiting Locality in Maintaining Potential Causality. | Sigurd Meldal, Sriram Sankar, James Vera |
| 1991 | POPL | An Extension of Standard ML Modules with Subtyping and Inheritance. | John C. Mitchell, Sigurd Meldal, Neel Madhav |