×

Found 19 Documents (Results 1–19)

Hilbert and Einstein. (English) Zbl 1412.01017

Kouneiher, Joseph (ed.), Foundations of mathematics and physics one century after Hilbert. New perspectives. Cham: Springer. 97-106 (2018).
MSC:  01A60 81-03 83-03
PDFBibTeX XMLCite
Full Text: DOI

On building constructive formal theories of computation noting the roles of Turing, Church, and Brouwer. (English) Zbl 1362.68250

Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 2-8 (2012).
MSC:  68T15 68-03
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software