Author: Fernando Molina
Publication Overview
Publication period start: 2001
Number of co-authors: 5
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Howse,
John,
Molina,
Fernando,
Taylor,
John,
Kent,
Stuart,
Gil,
Joseph
(2001):
Spider Diagrams: A Diagrammatic Reasoning System.
In
J. Vis. Lang. Comput.,
12
(3)
pp. 299-324.
Howse,
John,
Molina,
Fernando,
Shin,
Sun-Joo,
Taylor,
John
(2002):
On Diagram Tokens and Types.
In:
Hegarty,
Mary,
Meyer,
Bernd,
Narayanan,
N. Hari
(eds.)
Diagrams 2002 - Diagrammatic Representation and Inference - Second International Conference
April 18-20,
2002,
Callaway Gardens, GA, USA.
pp. 146-160.
https://link.springer.de/link/service/series/0558/bibs/2317/23170146.htm
Howse,
John,
Molina,
Fernando,
Taylor,
John
(2000):
On the Completeness and Expressiveness of Spider Diagram Systems.
In:
Anderson,
Michael,
Cheng,
Peter C-H.,
Haarslev,
Volker
(eds.)
Diagrams 2000 - Theory and Application of Diagrams - First International Conference
September 1-3,
2000,
Edinburgh, Scotland, UK.
pp. 26-41.
https://link.springer.de/link/service/series/0558/bibs/1889/18890026.htm
Howse,
John,
Molina,
Fernando,
Taylor,
John
(2000):
SD2: A Sound and Complete Diagrammatic Reasoning System.
In:
VL 2000
,
2000,
.
pp. 127-134.
https://csdl.computer.org/comp/proceedings/vl/2000/0840/00/08400127abs.htm