AAAAAA

   
Results: 1-3 |
Results: 3
Algorithms with polynomial interpretation termination proof
Authors: Bonfante, G Cichon, A Marion, JY Touzet, H
Citation: G. Bonfante et al., Algorithms with polynomial interpretation termination proof, J FUNCT PRO, 11, 2001, pp. 33-53
A characterization of alternating log time by ramified recurrence
Authors: Leivant, D Marion, JY
Citation: D. Leivant et Jy. Marion, A characterization of alternating log time by ramified recurrence, THEOR COMP, 236(1-2), 2000, pp. 193-208
From multiple sequent for additive linear logic to decision procedures forfree lattices
Authors: Marion, JY
Citation: Jy. Marion, From multiple sequent for additive linear logic to decision procedures forfree lattices, THEOR COMP, 224(1-2), 1999, pp. 157-172
Risultati: 1-3 |