![]() | ![]() |
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] |