Universität Bremen  
  FB 3  
  AG BKB > Lehre > Regelbasierte Systeme > Deutsch
English
 

Literatur zu regelbasierten Systemen

 
  • Franz Baader and Tobias Nipkow. Term Rewriting and All That.
    Cambridge University Press, Cambridge, UK, 1998.
  • Hendrik Pieter Barendregt. The Lambda Calculus---Its Syntax and Semantics. North-Holland, Amsterdam, 1981.
  • Heiko Dörr. Efficient Graph Rewriting and its Implementation. Number 153 in Lecture Notes in Computer Science. Springer, 1995.
  • Hartmut und Karsten Ehrig, Ulrike Prange und Gabriele Taentzer.
    Fundamentals of Algebraic Graph Transformation.
    EATCS Monographs on Theoretical Computer Science, Springer 2006.
  • Gregor Engels, Hartmut Ehrig, Hans-Jörg Kreowski, and Grzegorz Rozenberg, editors.
    Handbook of Graph Grammars and Computing by Graph Transformation, Vol.II: Applications, Languages, and Tools.
    World Scientific, Singapore, 1999.
  • J.R. Hindley and J.P. Seldin. Introduction to Combinators and Lambda Calculus, volume 1 of London Mathematical Society Student Texts. Cambridge University Press, 1986.
  • Jan Willem Klop. Term rewriting systems. In S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum, editors, Handbook of Logic in Computer Science}, volume 2, pages 1--116. Oxford University Press, 1992.
  • Rinus Plasmeijer and Marko van Eekelen. Functional Programming and Parallel Graph Rewriting. Addison-Wesley, 1993.
  • Grzegorz Rozenberg, editor.
    Handbook of Graph Grammars and Computing by Graph Transformation, Vol.I: Foundations.
    World Scientific, Singapore, 1997.
  • Grzegorz Rozenberg and Arto Salomaa, editors.
    Handbook on Formal Languages. 1: Word, Language, Grammar, 1997. 2: Linear Modeling: Background and Application, 1999. 3: Beyond Words, 1999.
    Heidelberg-New York: Springer.
  • Terese (Marc Bezem, Jan Willem Klop, and Roel de Vrijer, editors). Term Rewriting Systems, volume 55 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, UK, 2003.
 
   
Autor: Dr. Berthold Hoffmann
 
  AG BKB 
Zuletzt geändert am: 21. Oktober 2010   impressum