AAAAAA
Results:
1-10
|
Results: 10
Authors:
MUNDICI D
OLIVETTI N
Citation: D. Mundici et N. Olivetti, RESOLUTION AND MODEL-BUILDING IN THE INFINITE-VALUED CALCULUS OF LUKASIEWICZ, Theoretical computer science, 200(1-2), 1998, pp. 335-366
Authors:
MUNDICI D
TROMBETTA A
Citation: D. Mundici et A. Trombetta, OPTIMAL COMPARISON STRATEGIES IN ULAM SEARCHING GAME WITH 2 ERRORS, Theoretical computer science, 182(1-2), 1997, pp. 217-232
Authors:
BOFFA M
MARCJA A
MUNDICI D
Citation: M. Boffa et al., JOINT AILA-KGS MODEL-THEORY MEETING - FLORENCE, ITALY 21-24 AUGUST 1995 - PREFACE, Annals of pure and applied Logic, 88(2-3), 1997, pp. 93-93
Authors:
CIFUENTES JC
SETTE AM
MUNDICI D
Citation: Jc. Cifuentes et al., CAUCHY COMPLETENESS IN ELEMENTARY LOGIC, The Journal of symbolic logic, 61(4), 1996, pp. 1153-1157
Authors:
AGUZZOLI S
MUNDICI D
Citation: S. Aguzzoli et D. Mundici, AN ALGORITHMIC DESINGULARIZATION OF 3-DIMENSIONAL TORIC VARIETIES, Tohoku Mathematical Journal, 46(4), 1994, pp. 557-572
Authors:
MUNDICI D
Citation: D. Mundici, A CONSTRUCTIVE PROOF OF MCNAUGHTONS THEOREM IN INFINITE-VALUED LOGIC, The Journal of symbolic logic, 59(2), 1994, pp. 596-602
Authors:
ELLIOTT GA
MUNDICI D
Citation: Ga. Elliott et D. Mundici, A CHARACTERIZATION OF LATTICE-ORDERED ABELIAN-GROUPS, Mathematische Zeitschrift, 213(2), 1993, pp. 179-185
Authors:
MUNDICI D
PANTI G
Citation: D. Mundici et G. Panti, EXTENDING ADDITION IN ELLIOTT LOCAL SEMIGROUP, Journal of functional analysis, 117(2), 1993, pp. 461-472
Authors:
MUNDICI D
Citation: D. Mundici, LOGIC OF INFINITE QUANTUM-SYSTEMS, International journal of theoretical physics, 32(10), 1993, pp. 1941-1955
Authors:
CIGNOLI R
ELLIOTT GA
MUNDICI D
Citation: R. Cignoli et al., RECONSTRUCTING C-ASTERISK-ALGEBRAS FROM THEIR VONNEUMANN,MURRAY ORDERS, Advances in mathematics, 101(2), 1993, pp. 166-179
Risultati:
1-10
|