BibTeX records: Karel Stokkermans

• > Home > Persons > Karel Stokkermans

@article{DBLP:journals/jsc/Stokkermans99,
  author       = {Karel Stokkermans},
  title        = {A Categorical Critical-pair Completion Algorithm},
  journal      = {J. Symb. Comput.},
  volume       = {27},
  number       = {5},
  pages        = {435--477},
  year         = {1999},
  url          = {https://doi.org/10.1006/jsco.1999.0262},
  doi          = {10.1006/JSCO.1999.0262},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Stokkermans99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Sofronie-StokkermansS99,
  author       = {Viorica Sofronie{-}Stokkermans and
                  Karel Stokkermans},
  editor       = {Gabriel Ciobanu and
                  Gheorghe Paun},
  title        = {Modeling Interaction by Sheaves and Geometric Logic},
  booktitle    = {Fundamentals of Computation Theory, 12th International Symposium,
                  {FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1684},
  pages        = {512--523},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48321-7\_43},
  doi          = {10.1007/3-540-48321-7\_43},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Sofronie-StokkermansS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/igpl/PfalzgrafSS96,
  author       = {Jochen Pfalzgraf and
                  Ute Cornelia Sigmund and
                  Karel Stokkermans},
  title        = {Towards a General Approach for Modeling Actions and Change in Cooperating
                  Agents Scenarios},
  journal      = {Log. J. {IGPL}},
  volume       = {4},
  number       = {3},
  pages        = {445--472},
  year         = {1996},
  url          = {https://doi.org/10.1093/jigpal/4.3.445},
  doi          = {10.1093/JIGPAL/4.3.445},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/PfalzgrafSS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/PfalzgrafSS94,
  author       = {Jochen Pfalzgraf and
                  Ute Cornelia Sigmund and
                  Karel Stokkermans},
  editor       = {Jacques Calmet and
                  John A. Campbell},
  title        = {Modeling Cooperating Agents Scenarios by Deductive Planning Methods
                  and Logical Fiberings},
  booktitle    = {Integrating Symbolic Mathematical Computation and Artificial Intelligence,
                  Second International Conference, AISMC-2, Cambridge, UK, August 3-5,
                  1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {958},
  pages        = {167--190},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60156-2\_13},
  doi          = {10.1007/3-540-60156-2\_13},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/PfalzgrafSS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ctrs/Stokkermans92,
  author       = {Karel Stokkermans},
  editor       = {Micha{\"{e}}l Rusinowitch and
                  Jean{-}Luc R{\'{e}}my},
  title        = {A Categorical Formulation for Critical-Pair/Completion Procedures},
  booktitle    = {Conditional Term Rewriting Systems, Third International Workshop,
                  CTRS-92, Pont-{\`{a}}-Mousson, France, July 8-10, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {656},
  pages        = {328--342},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-56393-8\_25},
  doi          = {10.1007/3-540-56393-8\_25},
  timestamp    = {Thu, 08 Aug 2019 14:41:47 +0200},
  biburl       = {https://dblp.org/rec/conf/ctrs/Stokkermans92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}