Undecidable properties of monoids with word problem solvable in linear time
Theoretical Computer Science
MathPad2: a system for the creation and exploration of mathematical sketches
ACM SIGGRAPH 2004 Papers
Algorithms and Reductions for Rewriting Problems
Fundamenta Informaticae
Algorithms and Reductions for Rewriting Problems
Fundamenta Informaticae
Hi-index | 0.00 |