ROBINSON'S CONSISTENCY THEOREM IN SOFT MODEL THEORYMUNDICI D.1981; TRANS. AM. MATH. SOC.; ISSN 0002-9947; USA; DA. 1981; VOL. 263; NO 1; PP. 231-241; BIBL. 18 REF.Article

Satisfiability in many-valued sentential logic is NP-completeMUNDICI, D.Theoretical computer science. 1987, Vol 52, Num 1-2, pp 145-153, issn 0304-3975Article

COMPACTNESS, INTERPOLATION AND FRIEDMAN'S THIRD PROBLEMMUNDICI D.1982; ANN. MATH. LOGIC; ISSN 0003-4843; NLD; DA. 1982; VOL. 22; NO 2; PP. 197-211; BIBL. 24 REF.Article

NATURAL LIMITATIONS OF ALGORITHMIC PROCEDURES IN LOGICMUNDICI D.1980; ATTI ACCAD. NAZ. LINCEI, REND., CL. SCI. FIS. MAT. NAT.; ISSN 500321; ITA; DA. 1980-1981; VOL. 69; NO 3-4; PP. 101-105; ABS. ITA; BIBL. 16 REF.Article

Solution of Rota's problem on the order of series - parallel networksMUNDICI, D.Advances in applied mathematics (Print). 1991, Vol 12, Num 4, pp 455-463, issn 0196-8858Article

Functions computed by monotone boolean formulas with no repeated variablesMUNDICI, D.Theoretical computer science. 1989, Vol 66, Num 1, pp 113-114, issn 0304-3975Article

Interpretation of AF C*-algebras in Lukasiewicz sentential calculusMUNDICI, D.Journal of functional analysis. 1986, Vol 65, Num 1, pp 15-63, issn 0022-1236Article

Tautologies with a unique Craig interpolant, uniform vs. nonuniform complexityMUNDICI, D.Annals of pure and applied logic. 1984, Vol 27, Num 3, pp 265-273, issn 0168-0072Article

Tensor products and the Loomis-Sikorski theorem for MV-algebrasMUNDICI, D.Advances in applied mathematics (Print). 1999, Vol 22, Num 2, pp 227-248, issn 0196-8858Article

A simple construction of Robinson equivalence relationsMUNDICI, D.Proceedings of the American Mathematical Society. 1987, Vol 101, Num 1, pp 139-141, issn 0002-9939Article

Extending addition in Elliott's local semigroupMUNDICI, D; PANTI, G.Journal of functional analysis. 1993, Vol 117, Num 2, pp 461-472, issn 0022-1236Article

Resolution and model building in the infinite-valued calculus of ŁukasiewiczMUNDICI, D; OLIVETTI, N.Theoretical computer science. 1998, Vol 200, Num 1-2, pp 335-366, issn 0304-3975Article

Solution of Ulam's problem on binary search with two liesCZYZOWICZ, J; PELC, A; MUNDICI, D et al.Journal of combinatorial theory. Series A. 1988, Vol 49, Num 2, pp 384-388, issn 0097-3165Article