37 citations · 50 across the 4 of their papers we have counts for
4 papers
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…
PORGY: Strategy-Driven Interactive Transformation of Graphs
Oana Andrei, Maribel Fernández, Hélène Kirchner +3
This paper investigates the use of graph rewriting systems as a modelling tool, and advocates the embedding of such systems in an interactive environment. One important application…
Strategic programming on graph rewriting systems
Maribel Fernández, Olivier Namet
We describe a strategy language to control the application of graph rewriting rules, and show how this language can be used to write high-level declarative programs in several appl…
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…