Author:
Bournez Olivier,Dowek Gilles,Gilleron Rémi,Grigorieff Serge,Marion Jean-Yves,Perdrix Simon,Tison Sophie
Publisher
Springer International Publishing
Reference178 articles.
1. Abramsky S, Gabbay DM, Maibaum TS (eds) (2001) Handbook of logic in computer science. Elsevier, New York
2. Ackermann W (1928) Zum Hilbertschen Aufbau der rellen Zahlen. Math Ann 99:118–133
3. Adleman LM (1988) An abstract theory of computer viruses. Advances in cryptology (CRYPTO’88), vol 403. Lecture Notes in Computer Science. Springer, New York, pp 354–374
4. Arrighi P, Dowek G (2008) A quantum extension of Gandy’s theorem. Colloque “La thèse de Church: hier, aujourd’hui, demain
5. Asarin E, Collins P (2005) Noisy turing machines. In: Proceeding of ICALP’05, vol 3580. Lecture Notes in Computer Science. Springer, Berlin, pp 1031–1042