Person:1135305

Available identifiers

zbMath Open cowles.john-rMaRDI QIDQ1135305

List of research outcomes

Publication	Date of Publication	Type
Arithmetic co-transformations in the real and complex logarithmic number systems	2018-07-09	Paper
Perfect Numbers in ACL2	2015-09-20	Paper
A Cantor Trio: Denumerability, the Reals, and the Real Algebraic Numbers	2012-09-20	Paper
Using a First Order Logic to Verify That Some Set of Reals Has No Lesbegue Measure	2010-09-14	Paper
Theory extension in ACL2(r)	2007-08-17	Paper
Theorem Proving in Higher Order Logics	2005-08-18	Paper
Generalized Archimedean fields	1983-01-01	Paper
The Henkin Quantifier and Real Closed Fields	1981-01-01	Paper
Some congruence properties of three well-known sequences: Two notes	1980-01-01	Paper
The relative expressive power of some logics extending first-order logic	1979-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: John Cowles