Karel Stokkermans

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	1999
j2		Karel Stokkermans: A Categorical Critical-pair Completion Algorithm. J. Symb. Comput. 27(5): 435-477 (1999)
c3		Viorica Sofronie-Stokkermans, Karel Stokkermans: Modeling Interaction by Sheaves and Geometric Logic. FCT 1999: 512-523
	1996
j1		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
c2		Jochen Pfalzgraf, Ute Cornelia Sigmund, Karel Stokkermans: Modeling Cooperating Agents Scenarios by Deductive Planning Methods and Logical Fiberings. AISMC 1994: 167-190
	1992
c1		Karel Stokkermans: A Categorical Formulation for Critical-Pair/Completion Procedures. CTRS 1992: 328-342

Coauthor Index

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

Last update Wed May 22 05:19:25 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page