Wolfgang Gehrke

	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

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

Colors in the list of coauthors