Natural and Flexible Error Recovery for Generated Modular Language Environments
Maartje de Jonge, Lennart C. L. Kats, Eelco Visser, Emma Söderberg
On the Termination of Integer Loops
Amir M. Ben-Amram, Samir Genaim, Abu Naser Masud
Bisimulation for Quantum Processes
Yuan Feng, Runyao Duan, Mingsheng Ying
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: