N. G. de Bruijn (1918--2012) and his road to Automath, the earliest proof checker (Q1935352): Difference between revisions

@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL
@@ Property / describes a project that uses: HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00283-012-9324-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2106831151
@@ Property / OpenAlex ID: W2106831151 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751370
@@ Property / cites work: Q2751370 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4122841
@@ Property / cites work: Q4122841 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5650683
@@ Property / cites work: Q5650683 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4175528
@@ Property / cites work: Q4175528 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4519579
@@ Property / cites work: Q4519579 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2889489
@@ Property / cites work: Q2889489 / rank @@
+Normal rank
@@ Property / cites work @@
+The calculus of constructions
@@ Property / cites work: The calculus of constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287513
@@ Property / cites work: Q5287513 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for defining logics
@@ Property / cites work: A framework for defining logics / rank @@
+Normal rank
@@ Property / cites work @@
+Thirty-five years of automating mathematics. Dedicated to 35 years of de Bruijn's Automath
+Normal rank
@@ Property / cites work @@
+Q5795193
@@ Property / cites work: Q5795193 / rank @@
+Normal rank
@@ Property / cites work @@
+N. G. de Bruijn's contribution to the formalization of mathematics
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Q3250680
@@ Property / cites work: Q3250680 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5786798
@@ Property / cites work: Q5786798 / rank @@
+Normal rank
@@ Property / cites work @@
+The roots of trigonometric integrals
@@ Property / cites work: The roots of trigonometric integrals / rank @@
+Normal rank
@@ Property / cites work @@
+Q5797130
@@ Property / cites work: Q5797130 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5804302
@@ Property / cites work: Q5804302 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3251603
@@ Property / cites work: Q3251603 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3254323
@@ Property / cites work: Q3254323 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5686521
@@ Property / cites work: Q5686521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4087300
@@ Property / cites work: Q4087300 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3905310
@@ Property / cites work: Q3905310 / rank @@
+Normal rank