skip to main content

Strategy Independent Reduction Lengths in Rewriting and Binary Arithmetic

Zantema, Hans

Electronic proceedings in theoretical computer science, 2012-04, Vol.82 (Proc. WRS 2011), p.69-76

Open Publishing Association

Texto completo disponível

Citações Citado por

Buscando em bases de dados remotas. Favor aguardar.