Mints, Grigori

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

Conference or Workshop Item

Mints, Grigori; Studer, Thomas (2012). Cut-elimination for the mu-calculus with one variable. In: D. Miller, D.; Esik, Z. (eds.) Fixed Points in Computer Science 2012.

This list was generated on Fri Mar 29 14:43:56 2024 CET.
Provide Feedback