Author: Fernando Molina
Publications
Co-authors
- Stuart Kent
- John Howse
- John Taylor
- 2
- 5
- 5
Productive Colleagues
- Stuart Kent
- John Taylor
- John Howse
- 8
- 17
- 30
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
Howse, John, Molina, Fernando, Taylor, John, Kent, Stuart (1999): Reasoning with Spider Diagrams. In: VL 1999 , 1999, . pp. 138-. https://csdl.computer.org/comp/proceedings/vl/1999/0216/00/02160138abs.htm