Edit Profile (opens in new tab) Campetelli, Alarico Co-Author Distance Author ID: campetelli.alarico Published as: Campetelli, Alarico Documents Indexed: 1 Publication since 2009 Co-Authors: 3 Co-Authors with 1 Joint Publication 69 Co-Co-Authors Co-Authors 0 single-authored 1 Gruler, Alexander 1 Leucker, Martin 1 Thoma, Daniel Serials Fields 1 Mathematical logic and foundations (03-XX) 1 Computer science (68-XX) Publications by Year Citations contained in zbMATH Open 1 Publication has been cited 1 time in 1 Document Cited by ▼ Year ▼ Don’t know for multi-valued systems. Zbl 1262.68106 Campetelli, Alarico; Gruler, Alexander; Leucker, Martin; Thoma, Daniel 1 2009 Don’t know for multi-valued systems. Zbl 1262.68106 Campetelli, Alarico; Gruler, Alexander; Leucker, Martin; Thoma, Daniel 1 2009 all top 5 Cited by 6 Authors 1 Beneš, Nikola 1 Křetínský, Jan 1 Larsen, Kim Guldstrand 1 Møller, Mikael Harkjær 1 Sickert, Salomon 1 Srba, Jiří Cited in 1 Serial 1 Acta Informatica Cited in 1 Field 1 Computer science (68-XX) Citations by Year