A Tactic Language for Hiproofs

David Aspinall, Ewen Denney, Christoph Lüth

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

Original languageEnglish
Title of host publicationIntelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings.
Subtitle of host publicationLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
Pages339-354
Number of pages16
Volume5144
ISBN (Print)978-3-540-85110-3
Publication statusPublished - 2008

Publication series

NameLecture Notes in Computer Scince
Volume5144

Cite this