Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy

Documenti analoghi

• In Memory of Martin Davis
  di: Calvert, Wesley, et al.
  Pubblicazione: (2024)
• Six equations in search of a finite-fold-ness proof
  di: Cantone, Domenico, et al.
  Pubblicazione: (2023)
• Abduction at the interface of Logic and Philosophy of Science
  di: Johan VAN BENTHEM
  Pubblicazione: (2007)
• Diophantine Equations over $\mathbb Z$: Universal Bounds and Parallel Formalization
  di: Bayer, Jonas, et al.
  Pubblicazione: (2025)
• Undecidability on Diophantine equations over $\mathbb Z[i]$ with $20$ unknowns
  di: Matiyasevich, Yuri, et al.
  Pubblicazione: (2025)