JonathanCTraugott Faculty Profile
Jonathan C Traugott
Lecturer
- jonathan.traugott@csueastbay.edu
- 510-798-0027
- Sc-N 148B
- W: 10:00am - Noon (SC-N 148B) Zoom: https://csueb.zoom.us/j/2076856449
- M.S. Computer Science, Stanford UniversityM.S. Mathematics, CSUEBB.S. Mathematical Sciences, Stanford UniversityB.A. Philosophy, Stanford UniversityBaccalaureate 'C', Lycée Victor Louis, Talance, FR
Not teaching this semester.
Deductive synthesis of sorting programs
Journal of Symbolic Computation, June 1989https://www.sciencedirect.com/science/article/pii/S0747717189800409
Nested Resolution, Proceedings of the Conference on Automated Deduction (CADE 8) https://cadeinc.org/
https://en.wikipedia.org/wiki/Resolution_(logic)#Non-clausal_resolution
Advising: N/A