By Simpson Carlos   in Letters in Mathematical Physics

ISSN:0377-9017|69|1|287-315

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 14.916189

By Simpson Carlos   in Journal of Automated Reasoning

ISSN:0168-7433|36|3|259-285

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 14.916189

By Iyer Jaya   Simpson Carlos   in Mathematische Annalen

ISSN:0025-5831|338|2|347-383

Springer Publishing Company ‎(2007)‎

Access to resources Favorite 11.932951