EN | DE
Theoretische Informatik

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

fatemeh [2017/06/27 17:32]
fatemeh
fatemeh [2017/10/24 17:46] (current)
fatemeh [Preprints:]
Line 25: Line 25:
 ==== Preprints: ==== ==== Preprints: ====
 **1.** [[ http://www.illc.uva.nl/Research/Publications/Reports/PP-2016-33.text.pdf|Completeness for the modal mu-calculus: separating the combinatorics from the dynamics]] (S. Enqvist, F. Seifan and Y. Venema), ILLC Prepublication Series PP-2016-33. **1.** [[ http://www.illc.uva.nl/Research/Publications/Reports/PP-2016-33.text.pdf|Completeness for the modal mu-calculus: separating the combinatorics from the dynamics]] (S. Enqvist, F. Seifan and Y. Venema), ILLC Prepublication Series PP-2016-33.
 +
 +**2.** [[ https://www.illc.uva.nl/Research/Publications/Reports/PP-2017-04.text.pdf|Completeness for modal mu-calculi: a coalgebraic approach]] (S. Enqvist, F. Seifan and Y. Venema), ILLC Prepublication Series PP-2017-04.