Sciweavers

2853 search results - page 48 / 571
» On Coherence in Computer Algebra
Sort
View
CORR
2010
Springer
89views Education» more  CORR 2010»
13 years 9 months ago
Closed nominal rewriting and efficiently computable nominal algebra equality
Maribel Fernández, Murdoch James Gabbay