Contribution to a Dynamic Logic by Means of Parallelism
J. Labiche
[1]
;
J.L. Bourdon
[2]
;
Y. Lecourtier
[1]
[1]
LACIS
[2]
SCRIBENS
Localización:IPMU '92: Proceedings: International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems. Mallorca, Julye, 6-10 / coord. por International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, 1992, ISBN 84-7632-142-2, págs. 193-196