Author:
Delaney Aidan,Stapleton Gem,Taylor John,Thompson Simon
Subject
Computer Science Applications,Human-Computer Interaction,Language and Linguistics
Reference19 articles.
1. P. Bottoni, A. Fish, Policy enforcement and verification with timed modeling spider diagrams, in: IEEE Symposium on Visual Languages and Human-Centric Computing, 2013, pp. 27–34.
2. J. Burton, G. Stapleton, J. Howse, Completeness proof strategies for Euler diagram logics, in: Theory and Application of Diagrams, 2012.
3. On the expressiveness of second-order spider diagrams;Chapman;J. Vis. Lang. Comput.,2013
4. L. Choudhury, M.K. Chakraborty, On extending Venn diagrams by augmenting names of individuals, in: Theory and Application of Diagrams, 2004, pp. 142–146.
5. On the expressive power of temporal logic;Cohen;Comput. Syst. Sci.,1993