[Lecture Notes in Computer Science] Graph Transformations Volume 3256 || Representing First-Order Logic Using Graphs

✍ Scribed by Ehrig, Hartmut; Engels, Gregor; Parisi-Presicce, Francesco; Rozenberg, Grzegorz

• Book ID: 118031452
• Publisher: Springer Berlin Heidelberg
• Year: 2004
• Tongue: German
• Weight: 333 KB
• Category: Article
• ISBN: 3540302034
• DOI: 10.1007/978-3-540-30203-2_23

✦ Synopsis

This Book Constitutes The Refereed Proceedings Of The Second International Conference On Graph Transformation, Icgt 2004, Held In Rome, Italy, In September/october 2004. The 26 Revised Full Papers Presented Together With Three Invited Contributions And Summaries Of 2 Tutorials And 5 Workshops Were Carefully Reviewed And Selected From 58 Submissions. The Papers Are Organized In Topical Sections On Integration Technology, Chemistry And Biology, Graph Transformation Concepts, Dpo Theory For High-level Structures, Analysis And Testing, Graph Theory And Algorithms, Application Conditions And Logic, Transformation Of Special Structures, And Object-orientation.