AAAAAA
Results:
1-10
|
Results: 10
Authors:
Jancar, P
Kucera, A
Mayr, R
Citation: P. Jancar et al., Deciding bisimulation-like equivalences with finite-state processes, THEOR COMP, 258(1-2), 2001, pp. 409-433
Authors:
Kucera, A
Slaman, TA
Citation: A. Kucera et Ta. Slaman, Randomness and recursive enumerability, SIAM J COMP, 31(1), 2001, pp. 199-211
Authors:
Kucera, A
Citation: A. Kucera, Effective decomposability of sequential behaviours, THEOR COMP, 242(1-2), 2000, pp. 71-89
Authors:
Gadun, AS
Hanslmeier, A
Kucera, A
Rybak, J
Wohl, H
Citation: As. Gadun et al., Correlative relationships in an inhomogeneous solar atmosphere, ASTRON ASTR, 363(1), 2000, pp. 289-294
Authors:
Hanslmeier, A
Kucera, A
Rybak, J
Neunteufel, B
Wohl, H
Citation: A. Hanslmeier et al., Dynamics of the upper solar photosphere, ASTRON ASTR, 356(1), 2000, pp. 308-314
Authors:
Chiarella, C
El-Hassan, N
Kucera, A
Citation: C. Chiarella et al., Evaluation of American option prices in a path integral framework using Fourier-Hermite series expansions, J ECON DYN, 23(9-10), 1999, pp. 1387-1424
Authors:
Kucera, A
Terwijn, SA
Citation: A. Kucera et Sa. Terwijn, Lowness for the class of random sets, J SYMB LOG, 64(4), 1999, pp. 1396-1402
Authors:
Kucera, A
Citation: A. Kucera, Regularity of normed PA processes, INF PROCESS, 72(1-2), 1999, pp. 9-17
Authors:
Kucera, A
Citation: A. Kucera, On finite representations of infinite-state behaviours, INF PROCESS, 70(1), 1999, pp. 23-30
Authors:
Cerna, I
Kretinsky, M
Kucera, A
Citation: I. Cerna et al., Comparing expressibility of normed BPA and normed BPP processes, ACT INFORM, 36(3), 1999, pp. 233-256
Risultati:
1-10
|