search result

Cover von Graph Transformation, Specifications, and Nets
In Memory of Hartmut Ehrig
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Festschrift; 10800
Media group: MONOGRAPHIE
Cover von Combining termination proofs in model transformation systems

Combining termination proofs in model transformation systems

article
Year: 2014
Media group: ARTICLE
Cover von Foreword : Special issue on structure transformation

Foreword : Special issue on structure transformation

article
Year: 2014
Media group: ARTICLE
Cover von Knowledge Transformation using a Hypergraph Data Model

Knowledge Transformation using a Hypergraph Data Model

article
Author: Al Khuzayem, Lama; MacBrien, Peter
Year: 2012
Media group: ARTICLE
Cover von Graph Transformation Systems in Constraint Handling Rules
Improved Methods for Program Analysis
Author: Raiser, Frank Search for this author
Year: 2010
Publisher: Ulm, Universität
Media group: DISSERTATION
Cover von Transformation and structuring of computer generated proofs
Author: Lingenfelder, Christoph Search for this author
Year: 1990
Publisher: Kaiserslautern, Universität
Series: SEKI Report; 1990-26
Media group: DISSERTATION
Cover von Effective / efficient IT transformation decision processes
Author: Reiner, Juergen Search for this author
Year: 2004
Publisher: Wien, Universität
Media group: DISSERTATION
Cover von Knowledge transformation for the semantic web
Search for this author
Year: 2003
Publisher: Amsterdam, IOS Press
Series: Frontiers in artificial intelligence and applications; 95
Media group: MONOGRAPHIE
Cover von Logic-Based Program Synthesis and Transformation
35th International Symposium, LOPSTR 2025, Rende, Italy, September 9-10, 2025, Proceedings
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 16117
Media group: MONOGRAPHIE
Cover von Logic-Based Program Synthesis and Transformation
34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings
Search for this author
Year: 2024
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 14919
Media group: MONOGRAPHIE
OPEN V 11.1.0.0