Edinburgh Research Explorer

An Experimental Comparison of Diagrammatic and Algebraic Logics

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

An Experimental Comparison of Diagrammatic and Algebraic Logics. / Bundy, Alan; Gurr, C.; Jamnik, M.; Winterstein, Daniel.

Diagrammatic Representation and Inference: Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004. Proceedings. Springer Berlin Heidelberg, 2004. p. 432-434 (Lecture Notes in Computer Science; Vol. 2980).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Bundy, A, Gurr, C, Jamnik, M & Winterstein, D 2004, An Experimental Comparison of Diagrammatic and Algebraic Logics. in Diagrammatic Representation and Inference: Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004. Proceedings. Lecture Notes in Computer Science, vol. 2980, Springer Berlin Heidelberg, pp. 432-434. https://doi.org/10.1007/978-3-540-25931-2_57

APA

Bundy, A., Gurr, C., Jamnik, M., & Winterstein, D. (2004). An Experimental Comparison of Diagrammatic and Algebraic Logics. In Diagrammatic Representation and Inference: Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004. Proceedings (pp. 432-434). (Lecture Notes in Computer Science; Vol. 2980). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-25931-2_57

Vancouver

Bundy A, Gurr C, Jamnik M, Winterstein D. An Experimental Comparison of Diagrammatic and Algebraic Logics. In Diagrammatic Representation and Inference: Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004. Proceedings. Springer Berlin Heidelberg. 2004. p. 432-434. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-540-25931-2_57

Author

Bundy, Alan ; Gurr, C. ; Jamnik, M. ; Winterstein, Daniel. / An Experimental Comparison of Diagrammatic and Algebraic Logics. Diagrammatic Representation and Inference: Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004. Proceedings. Springer Berlin Heidelberg, 2004. pp. 432-434 (Lecture Notes in Computer Science).