John R. Steel
- Full normalization for mouse pairs
2022/07/22 by Benjamin Siskind, Siskind, Benjamin, John R. Steel +1 · 1 citation
Computer Science · #FOS: Mathematics #Formal Methods in Verification #Logic (math.LO)
- KWithout the Measurable
2013/09/01 by Ronald Björn Jensen, John R. Steel · 1 citation
Mathematics · Computer Science · Psychology · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #Philosophy and Theoretical Science