WorldCat Linked Data Explorer

http://worldcat.org/entity/work/id/131277628

Graph Transformation First International Conference, ICGT 2002 Barcelona, Spain, October 712, 2002 Proceedings

This book constitutes the refereed proceedings of the First International Conference on Graph Transformations, ICGT 2002, held in Barcelona, Spain in October 2002. The 26 revised full papers presented were carefully reviewed and selected by the program committe. Also included are abstracts of 3 invited papers, a tutorial, the extended abstract of a tutorial, and 5 reports of workshops held in conjunction with ICGT. The papers deal with various graphical structures that are useful to describe complex systems and computational structures, like graphs, diagrams, visual sentences, and others. Graph transformations are stongly related to graph theory, graph algorithms, formal language and parsing theory, the theory of concurrent and distributed systems, formal specification and verification, and logic and semantics.

Open All Close All

http://schema.org/about

http://schema.org/alternateName

  • "International Conference on Graphic Transformation"
  • "First International Conference on Graphic Transformation"
  • "First International Conference, ICGT 2002"@en
  • "ICGT 2002"@en
  • "ICGT 2002"

http://schema.org/description

  • "This book constitutes the refereed proceedings of the First International Conference on Graph Transformations, ICGT 2002, held in Barcelona, Spain in October 2002. The 26 revised full papers presented were carefully reviewed and selected by the program committe. Also included are abstracts of 3 invited papers, a tutorial, the extended abstract of a tutorial, and 5 reports of workshops held in conjunction with ICGT. The papers deal with various graphical structures that are useful to describe complex systems and computational structures, like graphs, diagrams, visual sentences, and others. Graph transformations are stongly related to graph theory, graph algorithms, formal language and parsing theory, the theory of concurrent and distributed systems, formal specification and verification, and logic and semantics."@en

http://schema.org/genre

  • "Conference proceedings"
  • "Conference papers and proceedings"
  • "Conference papers and proceedings"@en
  • "Electronic books"@en
  • "Kongress"
  • "Barcelona (2002)"

http://schema.org/name

  • "Graph Transformations First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002: Proceedings"
  • "Graph Transformation"
  • "Graph transformation first international conference, ICGT 2002, Barcelona, Spain, October 7 - 12, 2002 ; proceedings"
  • "Graph transformation first international conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002 : proceedings"
  • "Graph Transformation First International Conference, ICGT 2002 Barcelona, Spain, October 7-12, 2002 Proceedings"
  • "Graph Transformation First International Conference, ICGT 2002 Barcelona, Spain, October 712, 2002 Proceedings"@en
  • "Graph transformation : first international conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002 : proceedings"
  • "Graph transformation : First International Conference, ICGT 2002 : Barcelona, Spain, October 7-12, 2002 : proceedings"
  • "Graph transformations : first international conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002 : proceedings"
  • "Graph transformations first international conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002 : proceedings"@en