skip to main content

Explore Research Products in the NSF-PAR

Title: A Proof Tree Builder for Sequent Calculus and Hoare Logic
Award ID(s):
2005545
NSF-PAR ID:
10405070
Author(s) / Creator(s):
Date Published:
Journal Name:
Electronic Proceedings in Theoretical Computer Science
Volume:
375
ISSN:
2075-2180
Page Range / eLocation ID:
54 to 62
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
No document suggestions found
  • Citation Formats
  • MLA
  • APA
  • Chicago
  • BibTeX
  • Save / Share this Record
  • Send to Email