Back

Masterkolloquium Peter Krug: Undecidability of Noncommutative Ideal Membership and Counterexamples via SAT

Related Links