scientific article; zbMATH DE number 1759398

zbMATH Open0996.68058MaRDI QIDQ4536346FDOQ4536346

Authors: J. Van Leeuwen, Jiří Wiedermann 

Publication date: 4 November 2002

Title of this publication is not available (Why is that?)

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (12)

• Reactive Turing machines
• Title not available (Why is that?)
• Notes on interaction and Turing-computability
• Turing machines, transition systems, and interaction
• A theory of interactive computation
• A Note on Interaction and Incompleteness
• Interaction and Realizability
• Expressive power of first-order recurrent neural networks determined by their attractor dynamics
• Principles of interactive computation
• On the Executability of Interactive Computation
• Interactive Algorithms 2005 with Added Appendix
• Mathematical Foundations of Computer Science 2005

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)