Karel Stokkermans

1999
5	EE	Viorica Sofronie-Stokkermans, Karel Stokkermans: Modeling Interaction by Sheaves and Geometric Logic. FCT 1999: 512-523
4		Karel Stokkermans: A Categorical Critical-pair Completion Algorithm. J. Symb. Comput. 27(5): 435-477 (1999)
1996
3	EE	Jochen Pfalzgraf, Ute Cornelia Sigmund, Karel Stokkermans: Towards a General Approach for Modeling Actions and Change in Cooperating Agents Scenarios. Logic Journal of the IGPL 4(3): 445-472 (1996)
1994
2		Jochen Pfalzgraf, Ute Cornelia Sigmund, Karel Stokkermans: Modeling Cooperating Agents Scenarios by Deductive Planning Methods and Logical Fiberings. AISMC 1994: 167-190
1992
1		Karel Stokkermans: A Categorical Formulation for Critical-Pair/Completion Procedures. CTRS 1992: 328-342

Coauthor Index

1	Jochen Pfalzgraf	[2] [3]
2	Ute Cornelia Sigmund	[2] [3]
3	Viorica Sofronie-Stokkermans (Viorica Sofronie)	[5]

Colors in the list of coauthors