# Publications

Export 2 results:
Filters: Author is Grigori Mints  [Clear All Filters]
2012
: Cut-elimination for the mu-calculus with one variable. Fixed Points in Computer Science 2012. pp. 47-54. Open Publishing Association (2012).
1999
: Epsilon-substitution method for the ramified language and $Δ^1_1$-comprehension rule. In: Logic and Foundation of Mathematics. pp. 107-130. Kluwer (1999).