Diaconescu, Denisa

Up a level
Export as [feed] RSS
Group by: Date | Item Type | Refereed | No Grouping
Jump to: 2016 | 2015 | 2014

2016

Metcalfe, George; Diaconescu, Denisa; Schnüriger, Laura Janina (2016). Axiomatizing a Real-Valued Modal Logic. In: Beklemishev, Lev; Demri, Stéphane; Máté, András (eds.) Advances in Modal Logic 11 (pp. 236-251). College Publications

2015

Metcalfe, George; Cintula, Petr; Diaconescu, Denisa (2015). Skolemization for Substructural Logics. In: Davis, Martin; Fehnker, Ansgar; McIver, Annabelle; Voronkov, Andrei (eds.) Logic for Programming, Artificial Intelligence, and Reasoning - Proceedings of LPAR 2015. Lecture Notes in Computer Science: Vol. 9450 (pp. 1-15). Springer 10.1007/978-3-662-48899-7_1

2014

Diaconescu, Denisa; Aguzzoli, Stefano; Flaminio, Tommaso (2014). A Logical Descriptor for Regular Languages via Stone Duality. In: Ciobanu, Gabriel; Méry, Dominique (eds.) Theoretical Aspects of Computing – ICTAC 2014. 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Lecture Notes in Computer Science: Vol. 8687 (pp. 25-42). Cham: Springer 10.1007/978-3-319-10882-7_3

Provide Feedback