A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller's 60th birthday

David Baelde, Amy Felty, Gopalan Nadathur, Alexis Saurin

Research output: Contribution to journalEditorial

Original languageEnglish (US)
Pages (from-to)1007-1008
Number of pages2
JournalMathematical Structures in Computer Science
Volume29
Issue number8
DOIs
StatePublished - Sep 1 2019

Cite this