37 citations · 96 across the 20 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.LO2011★ 9 cited
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…
cs.CE2011★ 37 cited
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…