]> BibSonomy publications for/author/Orejas Proc. Int'l Workshop on Graph and Model Transformation (GraMoT)Efficient detection of conflicts in graph-based model transformation2006imported 2008-07-07 16:45:32.0 Electr. Notes Theor. Comput. Sci.17-26Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs.2112008dblp 2008-06-11 00:00:00.0 Electr. Notes Theor. Comput. Sci.111-131Architectural Connectors for Sequence Diagrams.2062008dblp 2008-06-11 00:00:00.0 Applied Categorical Structures3421-450A Functorial Framework for Constraint Normal Logic Programming.162008dblp 2008-05-26 00:00:00.0 FASEconf/fase/2008179-198Lecture Notes in Computer ScienceA Logic of Graph Constraints.49612008dblp 2008-04-21 00:00:00.0 Proc. Int'l Workshop on Graph and Model Transformation (GraMoT)Electronic Notes in Theoretical Computer ScienceEfficient detection of conflicts in graph-based model transformation2006imported 2007-09-26 12:09:12.0 Proc. Int'l Workshop on Graph and Model Transformation (GraMoT)Electronic Notes in Theoretical Computer ScienceEfficient detection of conflicts in graph-based model transformation2006imported 2007-09-26 10:37:27.0 Proc. Int'l Workshop on Graph and Model Transformation (GraMoT)Electronic Notes in Theoretical Computer ScienceEfficient detection of conflicts in graph-based model transformation2006imported 2007-09-25 21:44:52.0 Electr. Notes Theor. Comput. Sci.1-2Preface.1882007dblp 2007-09-21 00:00:00.0 CSLconf/csl/2007481-495Lecture Notes in Computer ScienceA Cut-Free and Invariant-Free Sequent Calculus for PLTL.46462007dblp 2007-08-29 00:00:00.0