Developments in computational models: introduction
María Isabel Fernández, Ian Mackie
págs. 553-555
Generalised multisets for chemical programming
J.P. Banatre, P. Fradet, Y. Radenac
págs. 557-580
Quantum programming languages: survey and bibliography
Simon Gay
págs. 581-600
Classically controlled quantum computation
Simon Perdrix, Philippe Jorrand
págs. 601-620
Reversible combinatory logic
Alexandra di Pierro, Chris Hankin, Herbert Wilkicky
págs. 621-637
Call-by-need in token-passing nets
F.R. Sinot
págs. 639-666
Addressed term rewriting systems: application to a typed object calculus
Daniel Dougherty, Pierre Lescanne , Luigi Liquori
págs. 667-709
On light logics, uniform encodings and polynomial time
Ugo dal Lago , Patrick Baillot
págs. 713-733
© 2008-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: