The following pages link to Alexander Rabinovich (Q259067):
Displayed 50 items.
- (Q3150251) (← links)
- Time-Bounded Verification (Q3184695) (← links)
- (Q3204054) (← links)
- A Logic of Probability with Decidable Model Checking (Q3412000) (← links)
- Expressiveness of Metric Modalities for Continuous Time (Q3434696) (← links)
- Decidable Fragments of Many-Sorted Logic (Q3498453) (← links)
- The Complexity of Temporal Logic with Until and Since over Ordinals (Q3498491) (← links)
- Decidability and Expressive Power of Real Time Logics (Q3511220) (← links)
- Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities (Q3543292) (← links)
- On the Borel Complexity of MSO Definable Sets of Branches (Q3561217) (← links)
- Temporal Logics over Linear Time Domains Are in PSPACE (Q3584960) (← links)
- Logical Refinements of Church’s Problem (Q3608405) (← links)
- Church Synthesis Problem with Parameters (Q3613362) (← links)
- Decidable Theories of the Ordering of Natural Numbers with Unary Predicates (Q3613363) (← links)
- Selection in the monadic theory of a countable ordinal (Q3617361) (← links)
- The Church Problem for Countable Ordinals (Q3636804) (← links)
- Cardinality Quantifiers in MLO over Trees (Q3644744) (← links)
- Decidable Extensions of Church’s Problem (Q3644764) (← links)
- (Q3805922) (← links)
- (Q3814772) (← links)
- (Q3833596) (← links)
- (Q4038700) (← links)
- (Q4218103) (← links)
- On the decidability of continuous time specification formalisms (Q4221299) (← links)
- (Q4222923) (← links)
- Definability in Rationals with Real Order in the Background (Q4329520) (← links)
- (Q4353635) (← links)
- (Q4411831) (← links)
- (Q4417850) (← links)
- (Q4449237) (← links)
- (Q4484477) (← links)
- (Q4500374) (← links)
- Definability and undefinability with real order at the background (Q4508271) (← links)
- (Q4536399) (← links)
- Monadic Logic of Order over Naturals has no Finite Base (Q4542237) (← links)
- (Q4637684) (← links)
- A Proof of Kamp's theorem (Q4649569) (← links)
- (Q4733393) (← links)
- Selection and Uniformization in Generalized Product (Q4821650) (← links)
- (Q4824483) (← links)
- (Q4824486) (← links)
- (Q4938638) (← links)
- (Q4945224) (← links)
- The Expressive Power of Temporal and First-Order Metric Logics (Q5049053) (← links)
- From finite automata toward hybrid systems (Extended abstract) (Q5055953) (← links)
- Boris Abramovich Trakhtenbrot (Q5074416) (← links)
- (Q5089255) (← links)
- On nets, algebras and modularity (Q5096217) (← links)
- Checking equivalences between concurrent systems of finite agents (Extended abstract) (Q5204358) (← links)
- On compositionality and its limitations (Q5277769) (← links)