The following pages link to Moshe Y. Vardi (Q208771):
Displaying 50 items.
- Proving that programs eventually do something good (Q3189807) (← links)
- (Q3204443) (← links)
- Formal Systems for Tuple and Equality Generating Dependencies (Q3334109) (← links)
- (Q3341881) (← links)
- The Complexity of Synthesis from Probabilistic Components (Q3449469) (← links)
- Polynomial-time implication problems for unary inclusion dependencies (Q3476305) (← links)
- Linear-Time Model Checking: Automata Theory in Practice (Q3503888) (← links)
- Branching vs. Linear Time: Semantical Perspective (Q3510781) (← links)
- From Church and Prior to PSL (Q3512439) (← links)
- Open Implication (Q3519514) (← links)
- An Analysis of Slow Convergence in Interval Propagation (Q3523087) (← links)
- Pushdown Module Checking with Imperfect Information (Q3525655) (← links)
- The Complexity of Enriched Mu-Calculi (Q3535618) (← links)
- Weak alternating automata are not that weak (Q3549125) (← links)
- Efficient Büchi Universality Checking (Q3557078) (← links)
- An Automata-Theoretic Approach to Infinite-State Systems (Q3587257) (← links)
- The Büchi Complementation Saga (Q3590920) (← links)
- The Complexity of Enriched μ-Calculi (Q3591423) (← links)
- (Q3597155) (← links)
- From Philosophical to Industrial Logics (Q3601803) (← links)
- Synthesis from Component Libraries (Q3617743) (← links)
- Büchi Complementation and Size-Change Termination (Q3617751) (← links)
- Falsification of LTL Safety Properties in Hybrid Systems (Q3617769) (← links)
- Multi-Objective Model Checking of Markov Decision Processes (Q3623004) (← links)
- (Q3624089) (← links)
- BDD-based decision procedures for the modal logic K ★ (Q3647260) (← links)
- On the foundations of the universal relation model (Q3677202) (← links)
- (Q3677203) (← links)
- On acyclic database decompositions (Q3735098) (← links)
- (Q3740223) (← links)
- The Implication Problem for Functional and Inclusion Dependencies is Undecidable (Q3740280) (← links)
- A Proof Procedure for Data Dependencies (Q3770004) (← links)
- (Q3798297) (← links)
- (Q3912018) (← links)
- (Q4010359) (← links)
- (Q4016548) (← links)
- (Q4028804) (← links)
- What is an inference rule? (Q4032879) (← links)
- (Q4035346) (← links)
- (Q4037099) (← links)
- (Q4037388) (← links)
- The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory (Q4210136) (← links)
- Computational model theory: an overview (Q4210768) (← links)
- (Q4219045) (← links)
- (Q4251063) (← links)
- (Q4251911) (← links)
- (Q4255562) (← links)
- (Q4259985) (← links)
- (Q4259992) (← links)
- Church's Problem Revisited (Q4262605) (← links)
