From Logic to Theoretical Computer Science – An Update

DOI10.1007/978-3-540-78127-1_1zbMATH Open1132.01311OpenAlexW1484888686MaRDI QIDQ5452171FDOQ5452171

Authors: B. A. Trakhtenbrot 

Publication date: 25 March 2008

Published in: Pillars of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78127-1_1

Recommendations

• scientific article; zbMATH DE number 1342354
• Reminiscences
• scientific article; zbMATH DE number 1342353
• Computation, logic, philosophy. A collection of essays
• Publication:4720770

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) History of computer science (68-03) History of mathematical logic and foundations (03-03)

Cites Work

• Title not available (Why is that?)
• LCF considered as a programming language
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Classes of computable functions defined by bounds on computation
• Weak Second‐Order Arithmetic and Finite Automata
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A type-theoretical alternative to ISWIM, CUCH, OWHY
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the complexity of reduction algorithms in Novikov-Boone constructions
• A Survey of Russian Approaches to Perebor (Brute-Force Searches) Algorithms
• Automata Studies. (AM-34)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some definitional suggestions for automata theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• From finite automata toward hybrid systems (Extended abstract)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On being incoherent without being very hard
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

• Computation theory and logic. (In memory of Dieter Rödding, 1937--1984. On the occasion of the 50th anniversary of his birth)
• Title not available (Why is that?)
• Yuri, logic, and computer science
• Boris Abramovich Trakhtenbrot

This page was built for publication: From Logic to Theoretical Computer Science – An Update

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5452171)