dblp.uni-trier.dewww.uni-trier.de

Wolfgang Gehrke

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2001
3 Wolfgang Gehrke, Jochen Pfalzgraf: Computer-Aided Construction of Finite Geometric Spaces: Automated Verification of Geometric Constraints. J. Autom. Reasoning 26(2): 139-160 (2001)
1996
2 Wolfgang Gehrke, Carla Limongelli: Exploiting SML for Experimenting with Algebraic Algorithms: The Example of p-adic Lifting. DISCO 1996: 98-111
1995
1 Wolfgang Gehrke: Problems in Rewriting Applied to Categorical Concepts by the Example of a Computational Comonad. RTA 1995: 210-224

Coauthor Index

1Carla Limongelli [2]
2Jochen Pfalzgraf [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)