Edit Profile Lunel, Simon Compute Distance To: Compute Author ID: lunel.simon Published as: Lunel, Simon Documents Indexed: 1 Publication since 2016 Co-Authors 0 single-authored 1 Baelde, David 1 Schmitz, Sylvain Serials Fields 1 Mathematical logic and foundations (03-XX) 1 Computer science (68-XX) Publications by Year Citations contained in zbMATH 1 Publication has been cited 3 times in 3 Documents Cited by ▼ Year ▼ A sequent calculus for a modal logic on finite data trees. Zbl 1370.03043Baelde, David; Lunel, Simon; Schmitz, Sylvain 3 2016 A sequent calculus for a modal logic on finite data trees. Zbl 1370.03043Baelde, David; Lunel, Simon; Schmitz, Sylvain 3 2016 all top 5 Cited by 6 Authors 2 Abriola, Sergio 2 Fervari, Raul 2 Figueira, Santiago 1 Areces, Carlos 1 Descotte, María Emilia 1 Figueira, Diego Cited in 1 Serial 1 Journal of Computer and System Sciences Cited in 2 Fields 3 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) Citations by Year