| |
| 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 | |
| 1 | Carla Limongelli | [2] |
| 2 | Jochen Pfalzgraf | [3] |