Author: Konstantinos Tourlas

Publications

Co-authors

Stuart Anderson

1

John Power

1

Corin A. Gurr

2

Productive Colleagues

John Power

1

Stuart Anderson

3

Corin A. Gurr

7

Publications

Gurr, Corin A., Tourlas, Konstantinos (2000): Formalising the Essence of Diagrammatic Syntax. 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. 483-485. https://link.springer.de/link/service/series/0558/bibs/1889/18890483.htm

Anderson, Stuart, Power, John, Tourlas, Konstantinos (2001): Reasoning in Higraphs with Loose Edges. In: HCC 2001 - IEEE CS International Symposium on Human-Centric Computing Languages and Environments September 5-7, 2001, Stresa, Italy. pp. 23-29. https://csdl.computer.org/comp/proceedings/hcc/2001/0474/00/04740023abs.htm

Gurr, Corin A., Tourlas, Konstantinos (1999): Formalizing Pragmatic Features of Graph-Based Notations. In: VL 1999 , 1999, . pp. 220-227. https://csdl.computer.org/comp/proceedings/vl/1999/0216/00/02160220abs.htm