Skip to main navigation
Skip to search
Skip to main content
The Hebrew University of Jerusalem Home
Approve / Request updates on publications
Home
Profiles
Research units
Research output
Prizes
Search by expertise, name or affiliation
Church's problem revisited
Orna Kupferman
*
, Moshe Y. Vardi
*
Corresponding author for this work
The Rachel and Selim Benin School of Engineering and Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
52
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Church's problem revisited'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Incomplete Information
100%
Church's Problem
100%
Input Signals
83%
Input Sequence
33%
Synthesis Problem
33%
CTL*
16%
Distributed Settings
16%
Output Signal
16%
Alternating Tree Automata
16%
Program Synthesis
16%
Mathematics
Incomplete Information
100%
Input Signal
83%
Complete Information
16%
Generality
16%
Computer Science
Incomplete Information
100%
Synthesis Problem
33%
Tree Automaton
16%
Program Synthesis
16%