Aguzzoli, Stefano

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Jump to: Book Section
Number of items: 1.

Book Section

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

This list was generated on Thu Sep 21 13:36:06 2023 CEST.
Provide Feedback