The following pages link to Mordechai Ben-Ari (Q213481):
Displayed 20 items.
- The temporal logic of branching time (Q789895) (← links)
- A simplified proof that regular resolution is exponential (Q1141648) (← links)
- Deterministic propositional dynamic logic: finite models, complexity, and completeness (Q1839245) (← links)
- (Q2724155) (← links)
- Mathematical Logic for Computer Science (Q2894076) (← links)
- (Q3318086) (← links)
- Algorithms for on-the-fly garbage collection (Q3321450) (← links)
- (Q3917484) (← links)
- Cheap concurrent programming (Q3925149) (← links)
- (Q3947098) (← links)
- (Q3997236) (← links)
- On Transposing Large 2<sup>n</sup>x 2<sup>n</sup>Matrices (Q4170235) (← links)
- How to solve the Santa Claus problem (Q4208628) (← links)
- (Q4293537) (← links)
- (Q4471633) (← links)
- (Q4472456) (← links)
- Elements of Robotics (Q4609792) (← links)
- Mathematical Surprises (Q5101982) (← links)
- (Q5452300) (← links)
- Theory-guided technology in computer science (Q5948250) (← links)