From Logic to Theoretical Computer Science – An Update

DOI10.1007/978-3-540-78127-1_1MaRDI QIDQ5452171zbMATH OpenOpenAlexFDO

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

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)

Recommendations

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

Cites work

• scientific article; zbMATH DE number 4180816 (Why is no real title available?)
• scientific article; zbMATH DE number 3119297 (Why is no real title available?)
• scientific article; zbMATH DE number 3128652 (Why is no real title available?)
• scientific article; zbMATH DE number 3137366 (Why is no real title available?)
• scientific article; zbMATH DE number 3143948 (Why is no real title available?)
• scientific article; zbMATH DE number 3170711 (Why is no real title available?)
• scientific article; zbMATH DE number 3890703 (Why is no real title available?)
• scientific article; zbMATH DE number 4074442 (Why is no real title available?)
• scientific article; zbMATH DE number 4074506 (Why is no real title available?)
• scientific article; zbMATH DE number 4110070 (Why is no real title available?)
• scientific article; zbMATH DE number 177822 (Why is no real title available?)
• scientific article; zbMATH DE number 3532921 (Why is no real title available?)
• scientific article; zbMATH DE number 3596248 (Why is no real title available?)
• scientific article; zbMATH DE number 3635490 (Why is no real title available?)
• scientific article; zbMATH DE number 1736370 (Why is no real title available?)
• scientific article; zbMATH DE number 1051241 (Why is no real title available?)
• scientific article; zbMATH DE number 941396 (Why is no real title available?)
• scientific article; zbMATH DE number 4119609 (Why is no real title available?)
• scientific article; zbMATH DE number 2112984 (Why is no real title available?)
• scientific article; zbMATH DE number 2112985 (Why is no real title available?)
• scientific article; zbMATH DE number 2112986 (Why is no real title available?)
• scientific article; zbMATH DE number 2112987 (Why is no real title available?)
• scientific article; zbMATH DE number 3237829 (Why is no real title available?)
• scientific article; zbMATH DE number 3239547 (Why is no real title available?)
• scientific article; zbMATH DE number 3304976 (Why is no real title available?)
• scientific article; zbMATH DE number 3319549 (Why is no real title available?)
• scientific article; zbMATH DE number 3319550 (Why is no real title available?)
• scientific article; zbMATH DE number 3328724 (Why is no real title available?)
• scientific article; zbMATH DE number 3344568 (Why is no real title available?)
• scientific article; zbMATH DE number 3399206 (Why is no real title available?)
• scientific article; zbMATH DE number 3402596 (Why is no real title available?)
• scientific article; zbMATH DE number 3405843 (Why is no real title available?)
• scientific article; zbMATH DE number 3409238 (Why is no real title available?)
• scientific article; zbMATH DE number 3423547 (Why is no real title available?)
• scientific article; zbMATH DE number 3186871 (Why is no real title available?)
• scientific article; zbMATH DE number 3189696 (Why is no real title available?)
• scientific article; zbMATH DE number 3057871 (Why is no real title available?)
• scientific article; zbMATH DE number 3078481 (Why is no real title available?)
• scientific article; zbMATH DE number 3108384 (Why is no real title available?)
• A Survey of Russian Approaches to Perebor (Brute-Force Searches) Algorithms
• A type-theoretical alternative to ISWIM, CUCH, OWHY
• Automata Studies. (AM-34)
• Classes of computable functions defined by bounds on computation
• From finite automata toward hybrid systems (Extended abstract)
• LCF considered as a programming language
• On being incoherent without being very hard
• On the complexity of reduction algorithms in Novikov-Boone constructions
• Some definitional suggestions for automata theory
• Weak Second‐Order Arithmetic and Finite Automata

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)
• scientific article; zbMATH DE number 1342354 (Why is no real title available?)
• 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)