6 treff

The institution of multialgebras : a general framework for algebraic software development
Yngve Lamo
Bok Engelsk 2002 · Les boka på nett
Logic with equality for multialgebras : an application of Rasiowa-Sikorski technique
Yngve Lamo and Michal Walicki
Bok Engelsk 2002 · Les boka på nett
Qualifier-free logic for multialgebraic theories
Yngve Lamo & Michal Walicki
Bok Engelsk 2002 · Les boka på nett
The institution of multialgebras
Yngve Lamo & Michal Walicki
Bok Engelsk 2000 · Les boka på nett
Specifications of parameterized data types
Yngve Lamo & Michal Walicki
Bok Engelsk 2000
Modeling partiality by nondeterminism : from abstract specifications to flexible error handling
Yngve Lamo & Michal Walicki
Bok Engelsk 1999 · Les boka på nett