D. Miller, D.

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item
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 Sat Dec 21 03:31:50 2024 CET.
Provide Feedback