Constructive Topology and Combinatorics

Authors:
Thierry Coquand
Affiliations:
-
Venue:
Constructivity in Computer Science, Summer Symposium
Year:
1992

Citing 0
Cited 3

Gröbner Bases in Type Theory

TYPES '98 Selected papers from the International Workshop on Types for Proofs and Programs
A Principle of Induction

CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Induction in Algebra: A First Case Study

LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract