Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Torres, José María Turull"'
Autor:
Ferrarotti, Flavio, González, Senén, Torres, José María Turull, Bussche, Jan Van den, Virtema, Jonni
We propose logical characterizations of problems solvable in deterministic polylogarithmic time (PolylogTime) and polylogarithmic space (PolylogSpace). We introduce a novel two-sorted logic that separates the elements of the input domain from the bit
Externí odkaz:
http://arxiv.org/abs/1903.03413
Publikováno v:
M. Butler et al., editors, Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2016), volume 9675 of LNCS, pages 244-249. Springer, 2016
Starting from Gurevich's thesis for sequential algorithms (the so-called "sequential ASM thesis"), we propose a characterization of the behaviour of sequential algorithms enriched with reflection. That is, we present a set of postulates which we conj
Externí odkaz:
http://arxiv.org/abs/1705.10708
Autor:
Schewe, Klaus-Dieter1 k.d.schewe@massey.ac.nz, Torres, José María Turull2 j.m.turull@massey.ac.nz
Publikováno v:
Logic Journal of the IGPL. Jan2005, Vol. 13 Issue 1, p47-68. 22p.
Publikováno v:
Abstract State Machines, Alloy, B, TLA, VDM & Z (9783319335995); 2016, p244-249, 6p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.