AAAAAA
Results:
1-8
|
Results: 8
Authors:
Wijesekera, D
Ganesh, M
Srivastava, J
Nerode, A
Citation: D. Wijesekera et al., Normal forms and syntactic completeness proofs for functional independencies, THEOR COMP, 266(1-2), 2001, pp. 365-405
Authors:
Lee, TS
Ghosh, S
Nerode, A
Citation: Ts. Lee et al., Asynchronous, distributed, decision-making systems with semi-autonomous entities: A mathematical framework, IEEE SYST B, 30(1), 2000, pp. 229-239
Authors:
Lee, TS
Ghosh, S
Liu, J
Ge, XL
Nerode, A
Kohn, W
Citation: Ts. Lee et al., A mathematical framework for asynchronous, distributed, decision-making systems with semi-autonomous entities: Algorithm synthesis, simulation, and evaluation, IEICE T FUN, E83A(7), 2000, pp. 1381-1395
Authors:
Davoren, JM
Nerode, A
Citation: Jm. Davoren et A. Nerode, Logics for hybrid systems, P IEEE, 88(7), 2000, pp. 985-1010
Authors:
Wijesekera, D
Srivastava, J
Nerode, A
Foresti, M
Citation: D. Wijesekera et al., Experimental evaluation of loss perception in continuous media, MULTIMEDI S, 7(6), 1999, pp. 486-499
Authors:
Nerode, A
Ko, KI
Weihrauch, K
Citation: A. Nerode et al., Computability and complexity in analysis - Foreword, THEOR COMP, 219(1-2), 1999, pp. 1-2
Authors:
Marek, VW
Nerode, A
Remmel, JB
Citation: Vw. Marek et al., Logic programs, well-orderings, and forward chaining, ANN PUR APP, 96(1-3), 1999, pp. 231-276
Authors:
Ershov, YL
Goncharov, SS
Nerode, A
Remmel, JB
Citation: Yl. Ershov et al., Introduction to the handbook of recursive mathematics, STUD LOGIC, 138, 1998, pp. VII-XLVI
Risultati:
1-8
|