37 citations · 59 across the 8 of their papers we have counts for
6 papers · 1 filter
Elementary Deduction Problem for Locally Stable Theories with Normal Forms
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho
We present an algorithm to decide the intruder deduction problem (IDP) for a class of locally stable theories enriched with normal forms. Our result relies on a new and efficient a…
Bigraphical Nets
Maribel Fernández, Ian Mackie, Matthew Walker
Interaction nets are a graphical model of computation, which has been used to define efficient evaluators for functional calculi, and specifically lambda calculi with patterns. How…
Assembling the Proofs of Ordered Model Transformations
Maribel Fernández, Jeffrey Terrell
In model-driven development, an ordered model transformation is a nested set of transformations between source and target classes, in which each transformation is governed by its o…
Higher-order port-graph rewriting
Maribel Fernández, Sébastien Maulat
The biologically inspired framework of port-graphs has been successfully used to specify complex systems. It is the basis of the PORGY modelling tool. To facilitate the specificati…
A new graphical calculus of proofs
Sandra Alves, Maribel Fernández, Ian Mackie
We offer a simple graphical representation for proofs of intuitionistic logic, which is inspired by proof nets and interaction nets (two formalisms originating in linear logic). Th…
Proceedings 24th International Workshop on Unification
Maribel Fernandez
This volume contains selected papers presented at the 24th International Workshop on Unification, UNIF2010, which was held in Edinburgh on the 14th July 2010, as part of FLoC 2010…