The following pages link to Fernando Orejas (Q347378):
Displaying 36 items.
- (Q4471722) (← links)
- (Q4493910) (← links)
- (Q4502807) (← links)
- An algebraic framework for the definition of compositional semantics of normal logic programs (Q4700444) (← links)
- (Q4702596) (← links)
- (Q4713364) (← links)
- (Q4729318) (← links)
- (Q4736517) (← links)
- (Q4738311) (← links)
- (Q4790389) (← links)
- (Q4790390) (← links)
- (Q4790391) (← links)
- Concurrency and loose semantics of open graph transformation systems (Q4792940) (← links)
- Compositionality and compatibility of parameterization and parameter passing in specification languages (Q4856663) (← links)
- Checking Bisimilarity for Attributed Graph Transformation (Q4910415) (← links)
- A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques (Q4921549) (← links)
- Delaying Constraint Solving in Symbolic Graph Transformation (Q4931303) (← links)
- Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars (Q4931310) (← links)
- Local Confluence for Rules with Nested Application Conditions (Q4931325) (← links)
- (Q4940886) (← links)
- Incremental Concurrent Model Synchronization using Triple Graph Grammars (Q5039536) (← links)
- Compositionality results for different types of parameterization and parameter passing in specification languages (Q5044722) (← links)
- Algebraic methods in the compositional analysis of logic programs (Q5096873) (← links)
- Unfolding Symbolic Attributed Graph Grammars (Q5100727) (← links)
- Initial Conflicts for Transformation Rules with Nested Application Conditions (Q5100729) (← links)
- Symbolic Model Generation for Graph Properties (Q5215908) (← links)
- Abstract Constraint Data Types (Q5256347) (← links)
- A Transformational Semantics of Static Embedded Implications of Normal Logic Programs (Q5302884) (← links)
- A Logic of Graph Constraints (Q5460000) (← links)
- Recent Trends in Algebraic Development Techniques (Q5703988) (← links)
- Formal Methods in Software and Systems Modeling (Q5710419) (← links)
- -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation (Q5740375) (← links)
- Formal analysis of model transformations based on triple graph grammars (Q5740377) (← links)
- A Functorial Framework for Constraint Normal Logic Programming (Q5757919) (← links)
- Clausal rewriting (Q5881281) (← links)
- A logical approach to graph databases (Q6615562) (← links)
