Constructivity in computer science. Summer symposium, San Antonio, TX, June 19--22, 1991. Proceedings

DOI10.1007/BFB0021078zbMath1360.68019OpenAlexW2490002303MaRDI QIDQ525505

No author found.

Publication date: 4 May 2017

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bfb0021078

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Other constructive mathematics (03F65) Theory of computing (68Qxx) Discrete mathematics in relation to computer science (68Rxx)

Related Items (1)

1997–98 Annual Meeting of the Association for Symbolic Logic

This page was built for publication: Constructivity in computer science. Summer symposium, San Antonio, TX, June 19--22, 1991. Proceedings