Publications

Export 2 results:
Filters: Author is Grigori Mints  [Clear All Filters]
2012
Mints, G., Studer, T.: Cut-elimination for the mu-calculus with one variable. Fixed Points in Computer Science 2012. pp. 47-54. Open Publishing Association (2012).