( en | de | ru )

 

Disambiguation of "Burton, Jim"

Author of the publication

copydeleteadd this publication to your clipboard
Completeness Proofs for Diagrammatic Logics.

, , and . Diagrams, volume 7352 of Lecture Notes in Computer Science, page 318-320. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Burton Mandel

Rosemary Burton

Burton Saffé

Jonathan Burton

Jim Wilenius

 

Other publications of authors with the same name

The Semiotics of Spider Diagrams., and . Logica Universalis, 11 (2): 177-204 (2017)Generalized constraint diagrams and the classical decision problem., , and . J. Log. Comput., 23 (1): 199-262 (2013)Euler Diagrams Through the Looking Glass: From Extent to Intent., , , and . Diagrams, volume 10871 of Lecture Notes in Computer Science, page 365-381. Springer, (2018)Evaluating the effects of size in linesets., , , and . VINCI, page 121-128. ACM, (2017)Observational Advantages and Occurrence Referentiality., and . Diagrams, volume 12169 of Lecture Notes in Computer Science, page 202-215. Springer, (2020)A Vision for Diagrammatic Ontology Engineering., , , and . VISUAL@EKAW, volume 1299 of CEUR Workshop Proceedings, page 1-13. CEUR-WS.org, (2014)Completeness Proofs for Diagrammatic Logics., , and . Diagrams, volume 7352 of Lecture Notes in Computer Science, page 318-320. Springer, (2012)Visualizing Concepts with Euler Diagrams., , , and . Diagrams, volume 8578 of Lecture Notes in Computer Science, page 54-56. Springer, (2014)Completeness Proof Strategies for Euler Diagram Logics., , and . ED@Diagrams, volume 854 of CEUR Workshop Proceedings, page 2-16. CEUR-WS.org, (2012)A Survey and Evaluation of Diagrams for Navya-Nyāya., , and . Diagrams, volume 10871 of Lecture Notes in Computer Science, page 280-295. Springer, (2018)