Mints, Grigori

Group by: Item Type | No Grouping

Number of items: 1.

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 Mon Apr 29 04:32:14 2024 CEST.

Export as	RSS