Treffliste - Walicki, Micha - Depotbiblioteket

Hopp til treffliste Hopp til hovedmeny

Vis filter / sortering

Biblioteket

12 treff

Sortering

Communication algebras

Walicki, Michał
Inngår i serie: Reports in informatics (report no. 117)
Bok Engelsk 1996 · Les på nett

Algebraic approaches to nondeterminism : an overview

Walicki, Michał
Inngår i serie: Reports in informatics (report no. 104)
Bok Engelsk 1995 · Les på nett

Algebraic specifications of nondeterminism

Walicki, Michał
Bok Engelsk 1993 · Les på nett

Calculii for algebraic specifications of nondeterminism : three completeness results

Walicki, Michał
Inngår i serie: Reports in informatics (75)
Bok Engelsk 1992 · Les på nett

Singular and plural nondeterministic parameters : multialgebras, power algebra and complete reasoning systems

Walicki, Michał
Inngår i serie: Reports in informatics (report no. 96)
Bok Engelsk 1994 · Les på nett

The institution of multialgebras

Lamo, Yngve
Inngår i serie: Reports in informatics (no. 209)
Bok Engelsk 2000 · Les på nett

Logic with equality for multialgebras : an application of Rasiowa-Sikorski technique

Lamo, Yngve
Inngår i serie: Reports in informatics (report no 227)
Bok Engelsk 2002

Modeling partiality by nondeterminism : from abstract specifications to flexible error handling

Lamo, Yngve
Inngår i serie: Reports in informatics (no. 178)
Bok Engelsk 1999 · Les på nett

Qualifier-free logic for multialgebraic theories

Lamo, Yngve
Inngår i serie: Reports in informatics (report no 228)
Bok Engelsk 2002

Specifications of parameterized data types

Lamo, Yngve
Inngår i serie: Reports in informatics (no. 210)
Bok Engelsk 2000 · Les på nett

Only explicitly knowing

Ågotnes, Thomas
Inngår i serie: Reports in informatics (report no 224)
Bok Engelsk 2002

Reasoning and rewriting with set-relations. I. Ground completeness

Kriaučiukas, Valentinas
Inngår i serie: Reports in informatics (report no. 92)
Bok Engelsk 1994 · Les på nett

Ikke det du leter etter?

Søk og bestill fra andre bibliotek: Biblioteksøk