dblp.uni-trier.dewww.uni-trier.de

Karel Stokkermans Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1999
5EEViorica 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
3EEJochen 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)