scientific article; zbMATH DE number 1759398

MaRDI QIDQ4536346zbMATHFDO

Authors J. Van Leeuwen, Jiří Wiedermann

Publication date 4 November 2002

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Algorithm theories and design tactics
• Algorithms and their explanations
• Algorithms, games, and the internet

Cited in

(13)

• A theory of interactive computation
• Reactive Turing machines
• scientific article; zbMATH DE number 1759503 (Why is no real title available?)
• On the executability of interactive computation
• A Note on Interaction and Incompleteness
• Computability and realizability for interactive computations
• Interactive Algorithms 2005 with Added Appendix
• Notes on interaction and Turing-computability
• Expressive power of first-order recurrent neural networks determined by their attractor dynamics
• Mathematical Foundations of Computer Science 2005
• Principles of interactive computation
• Interaction and Realizability
• Turing machines, transition systems, and interaction

This page was built for publication:

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