Edinburgh Research Explorer

Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC

Research output: Contribution to journalArticle

Standard

Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC. / Lin, Yuhui; Grov, Gudmund; Arthan, Rob.

In: Journal of Formalized Reasoning, Vol. 9, No. 2, 15.12.2016, p. 69-130.

Research output: Contribution to journalArticle

Harvard

Lin, Y, Grov, G & Arthan, R 2016, 'Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC', Journal of Formalized Reasoning, vol. 9, no. 2, pp. 69-130. https://doi.org/10.6092/issn.1972-5787/6298

APA

Lin, Y., Grov, G., & Arthan, R. (2016). Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC. Journal of Formalized Reasoning, 9(2), 69-130. https://doi.org/10.6092/issn.1972-5787/6298

Vancouver

Lin Y, Grov G, Arthan R. Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC. Journal of Formalized Reasoning. 2016 Dec 15;9(2):69-130. https://doi.org/10.6092/issn.1972-5787/6298

Author

Lin, Yuhui ; Grov, Gudmund ; Arthan, Rob. / Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC. In: Journal of Formalized Reasoning. 2016 ; Vol. 9, No. 2. pp. 69-130.