Zobrazeno 1 - 9
of 9
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.
Publikováno v:
Abstract State Machines, Alloy, B, TLA, VDM & Z (9783319335995); 2016, p425-426, 2p
This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016. The 17 full and 15 short papers presented in this volume were care