Abstract
Logic plays an essential role in Fundamental Computer Science, especially in Complexity Theory, in Semantics, and in the Theory of Formal Languages. This includes the description of sets of finite and infinite words, trees, graphs and related discrete structures by grammars, equation systems, rewriting systems, automata, and logical formulas. Transformations of such structures are also essential. They too can be described by automata, by rewriting systems or by logical formulas.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsAuthor information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Courcelle, B., Weil, P. (2002). Workshop on Logic, Graph Transformations and Discrete Structures. In: Corradini, A., Ehrig, H., Kreowski, H.J., Rozenberg, G. (eds) Graph Transformation. ICGT 2002. Lecture Notes in Computer Science, vol 2505. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45832-8_36
Download citation
DOI: https://doi.org/10.1007/3-540-45832-8_36
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44310-0
Online ISBN: 978-3-540-45832-6
eBook Packages: Springer Book Archive