scientific article; zbMATH DE number 3328724

zbMATH Open0206.47902MaRDI QIDQ5606989FDOQ5606989

Authors: Alonzo Church 

Publication date: 1960

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

Mathematics Subject Classification ID

Cited In (21)

• Synthesis in presence of dynamic links
• Matching regular expressions on uncertain data
• On the relation between reactive synthesis and supervisory control of non-terminating processes
• Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
• Canonical representations for direct generation of strategies in high-level Petri games
• Timed Petri nets with reset for pipelined synchronous circuit design
• Title not available (Why is that?)
• Title not available (Why is that?)
• Solving high-level Petri games
• High-level representation of benchmark families for Petri games
• Algorithms: From Al-Khwarizmi to Turing and Beyond
• Computability and realizability for interactive computations
• Transfer of model checking to industrial practice
• The mu-calculus and Model Checking
• Church’s Problem and a Tour through Automata Theory
• From Monadic Logic to PSL
• The synthesis problem for repeatedly communicating Petri games
• Reactive synthesis from interval temporal logic specifications
• A symbolic algorithm for lazy synthesis of eager strategies
• From Logic to Theoretical Computer Science – An Update
• Synthesis of deterministic top-down tree transducers from automatic tree relations

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 Q5606989)