External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

David Baelde, Amy P. Felty, Gopalan Nadathur, Alexis Saurin. A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller's 60th birthday. Mathematical Structures in Computer Science, 29(8):1007-1008, 2019. [doi]

Authors

David Baelde

This author has not been identified. Look up 'David Baelde' in Google

Amy P. Felty

This author has not been identified. Look up 'Amy P. Felty' in Google

Gopalan Nadathur

This author has not been identified. Look up 'Gopalan Nadathur' in Google

Alexis Saurin

This author has not been identified. Look up 'Alexis Saurin' in Google
runs on