Search results for: Daniele Mundici
Advances in Mathematics > 2018 > 335 > C > 343-371
Soft Computing > 2019 > 23 > 7 > 2289-2295
Algebra universalis > 2018 > 79 > 2 > 1-15
Annals of Pure and Applied Logic > 2017 > 168 > 5 > 1132-1151
Journal of Pure and Applied Algebra > 2017 > 221 > 4 > 908-934
UNITEXT > Logica: Metodo Breve > Logica dei Predicati > 91-95
UNITEXT > Logica: Metodo Breve > Logica dei Predicati > 97-118
UNITEXT > Logica: Metodo Breve > Logica dei Predicati > 73-80
Fuzzy Sets and Systems > 2016 > 292 > C > 150-159
Lecture Notes in Computer Science > Algorithm Theory - SWAT 2000 > Distributed Computing and Fault-Tolerance > 559-562
Studies in Fuzziness and Soft Computing > Beyond Two: Theory and Applications of Multiple-Valued Logic > Multiple-valued Logics for Control Theory and Rational Belief > 315-335
Lecture Notes in Computer Science > Computing and Combinatorics > Complexity, Discrete Mathematics, and Number Theory > 159-169
Lecture Notes in Computer Science > Symbolic and Quantitative Approaches to Reasoning with Uncertainty > Invited Talks > 16-21