Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Volume 411; Issue 37

Theoretical Computer Science

Volume 411; Issue 37
1

On the confluence of lambda-calculus with conditional rewriting

Frédéric Blanqui, Claude Kirchner, Colin Riba
Journal:
Theoretical Computer Science
Année:
2010
Langue:
english
Fichier:
PDF, 741 KB
english, 2010
2

Contract-based discovery of Web services modulo simple orchestrators

Luca Padovani
Journal:
Theoretical Computer Science
Année:
2010
Langue:
english
Fichier:
PDF, 606 KB
english, 2010
3

A computer-verified monadic functional implementation of the integral

Russell O’Connor, Bas Spitters
Journal:
Theoretical Computer Science
Année:
2010
Langue:
english
Fichier:
PDF, 503 KB
english, 2010
4

A compact fixpoint semantics for term rewriting systems

M. Alpuente, M. Comini, S. Escobar, M. Falaschi, J. Iborra
Journal:
Theoretical Computer Science
Année:
2010
Langue:
english
Fichier:
PDF, 716 KB
english, 2010
5

Checking experiments for stream X-machines

Robert M. Hierons
Journal:
Theoretical Computer Science
Année:
2010
Langue:
english
Fichier:
PDF, 482 KB
english, 2010