scientific article; zbMATH DE number 3328724
From MaRDI portal
Publication:5606989
zbMATH Open0206.47902MaRDI QIDQ5606989FDOQ5606989
Authors: Alonzo Church
Publication date: 1960
Title of this publication is not available (Why is that?)
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)