Andreas Günther Weber (weber-ag)

Beiträge zu Philosophie.ch

Bibliography

Bündgen, Reinhard, Göbel, Manfred, Küchlin, Wolfgang and Weber, Andreas Günther. 1998. “Parallel Term Rewriting with PaReDuX.” in Automated Deduction: A Basis for Applications. Volume II, Systems and Implementation Techniques, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 231–260. Applied Logic Series n. 9. Dordrecht: Kluwer Academic Publishers.