A ρ-Calculus of Explicit Constraint Application
Horatiu Cirstea, Germain Faure, Claude KirchnerVolume:
117
Année:
2005
Langue:
english
Pages:
17
DOI:
10.1016/j.entcs.2004.06.029
Fichier:
PDF, 352 KB
english, 2005