Publications

2 results for Alexander Rabinovich

Decidable fragments of many-sorted logic
- - Aharon Abadi
  - Alexander Rabinovich
  - et al.
- 2010
- Journal of Symbolic Computation
Paper
Connectedness and synchronization
- - A. Mazurkiewicz
  - A. Rabinovich
  - et al.
- 1991
- Theoretical Computer Science
Paper