Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-4
|
Results: 4
MCNAUGHTON GAMES AND EXTRACTING STRATEGIES FOR CONCURRENT PROGRAMS
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
VIABILITY IN HYBRID SYSTEMS
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
GUREVICH-HARRINGTON GAMES DEFINED BY FINITE AUTOMATA
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
SOME EFFECTIVELY INFINITE CLASSES OF ENUMERATIONS
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
Risultati:
1-4
|