61 |
Linear-time algorithms and non-monotonic reasoning in hierarchies ; Algorithmes linéaires et raisonnement non monotone dans des hiérarchies
|
|
|
|
In: Cognitiva ; https://hal.archives-ouvertes.fr/hal-02142967 ; Cognitiva, Nov 1990, Madrid, Spain. pp.279-286 (1990)
|
|
BASE
|
|
Show details
|
|
62 |
Modularity and Symmetry for Distributed System; Application to the CSP Language ; Modularité et symétrie pour les systèmes répartis; application au langage CSP
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00416184 ; Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 1987. Français (1987)
|
|
BASE
|
|
Show details
|
|
|
|