Proof-search in type-theoretic languages
From MaRDI portal
Publication:1586199
zbMath0948.00019MaRDI QIDQ1586199
No author found.
Publication date: 9 November 2000
Published in: Theoretical Computer Science (Search for Journal in Brave)
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
This page was built for publication: Proof-search in type-theoretic languages
