Sciweavers

1730 search results - page 32 / 346
» Algebra and Computation
Sort
View
71
Voted
DAGSTUHL
2004
15 years 2 months ago
04421 Abstracts Collection - Algebraic Methods in Computational Complexity
Harry Buhrman, Lance Fortnow, Thomas Thierauf
78
Voted
CORR
2010
Springer
89views Education» more  CORR 2010»
15 years 27 days ago
Closed nominal rewriting and efficiently computable nominal algebra equality
Maribel Fernández, Murdoch James Gabbay