Research output per year
Research output per year
Search results
-
2024
The Ackermann Award 2023
Fernández, M., Goubault-Larrecq, J. & Kesner, D., Feb 2024, 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024. Murano, A. & Silva, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 1. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 288).Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution › peer-review
Open Access -
2017
On Solving Nominal Fixpoint Equations
Ayala-Rincón, M., de Carvalho-Segundo, W., Fernandez, M. & Nantes-Sobrinho, D., 29 Aug 2017, Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Proceedings. Springer Verlag, Vol. 10483 LNAI. p. 209-226 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10483 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution › peer-review
Open AccessFile9 Citations (Scopus)184 Downloads (Pure)