Authors: NERODE A REMMEL JB YAKHNIS A

Citation: A. Nerode et al., MCNAUGHTON GAMES AND EXTRACTING STRATEGIES FOR CONCURRENT PROGRAMS, Annals of pure and applied Logic, 78(1-3), 1996, pp. 203-242

Authors: KOHN W NERODE A REMMEL JB YAKHNIS A

Citation: W. Kohn et al., VIABILITY IN HYBRID SYSTEMS, Theoretical computer science, 138(1), 1995, pp. 141-168

Authors: YAKHNIS A YAKHNIS V

Citation: A. Yakhnis et V. Yakhnis, GUREVICH-HARRINGTON GAMES DEFINED BY FINITE AUTOMATA, Annals of pure and applied Logic, 62(3), 1993, pp. 265-294

Authors: GONCHAROV S YAKHNIS A YAKHNIS V

Citation: S. Goncharov et al., SOME EFFECTIVELY INFINITE CLASSES OF ENUMERATIONS, Annals of pure and applied Logic, 60(3), 1993, pp. 207-235