Skip to main navigation
Skip to search
Skip to main content
Tel Aviv University Home
Update Request & User Guide (TAU staff only)
Home
Experts
Research units
Research output
Prizes
Activities
Press/Media
Search by expertise, name or affiliation
The church synthesis problem with parameters
Alexander Rabinovich
*
*
Corresponding author for this work
School of Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
7
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'The church synthesis problem with parameters'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Church
100%
Synthesis Problem
100%
Problem with Parameter
100%
Monadic Logic
42%
Landweber
42%
Two-variable
14%
Computable
14%
Finite Automata
14%
Unary
14%
Definability
14%
Ultimately Periodic
14%
Periodic Parameters
14%
Mathematics
Definability
100%