Sfoglia per Autore
THE C*-ALGEBRAS OF THREE-VALUED LOGIC
1989 D. MUNDICI
Ulam's searching game with lies
1989 D. MUNDICI; A. PELC; J. CZYZOWICZ
Functions computed by monotone Boolean formulas with no repeated variables
1989 D. MUNDICI
REDUCIBILITY OF MONOTONE FORMULAS TO $MU$-FORMULAS
1990 D. MUNDICI
AF C*-algebras, abelian l-groups and Lukasiewicz infinite-valued logic
1990 D.Mundici
THE COMPLEXITY OF ADAPTIVE ERROR-CORRECTING CODES
1991 D. MUNDICI
Solution of Rota's problem on the order of series-parallel networks
1991 D. MUNDICI
THE LOGIC OF ULAM'S GAME WITH LIES
1992 D. MUNDICI
NORMAL FORMS IN INFINITE-VALUED LOGIC: THE CASE OF ONE VARIABLE
1992 D. MUNDICI
TURING COMPLEXITY OF BEHNCKE-LEPTIN C*-ALGEBRAS WITH A TWO-POINT DUAL
1992 D. MUNDICI
K_0, RELATIVE DIMENSION AND THE C*-ALGEBRAS OF POST LOGIC
1993 D. MUNDICI
Ulam games, Lukasiewicz logic and AF C*-algebras
1993 D.MUNDICI
EXTENDING ADDITION IN ELLIOTT'S LOCAL SEMIGROUP
1993 D. MUNDICI; G. PANTI
Logic of infinite quantum systems
1993 D. MUNDICI
A characterization of lattice-ordered abelian groups
1993 D. MUNDICI; G. ELLIOTT
Reconstructing C*--algebras from their Murray von Neumann orders,
1993 D. MUNDICI; R. CIGNOLI; G. ELLIOTT
A constructive proof of McNaughton's theorem,
1994 D. MUNDICI
An algorithmic desingularization of 3-dimensional toric varieties
1994 D. MUNDICI; AGUZZOLI S.
Algebras da Logica de Lukasiewicz
1994 D.Mundici; R.Cignoli; I. D'Ottaviano
Paper machines
1995 D.MUNDICI; W.Sieg
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile