Search: Computer Supported Mathematics With OMEGA
2006
[1]Computer Supported Mathematics with OMEGA (Jörg Siekmann, Christoph Benzmüller, Serge Autexier), In Journal of Applied Logic, volume 4, number 4, pp. 533-559, 2006. (Preprint: http://christoph-benzmueller.de/papers/J12.pdf) [bibtex] [doi]