×

Une semantique pour les arbres non d√©terministes. (French) Zbl 0485.68020

Trees in algebra and programming, CAAP’81, Proc. 6th Colloq., Genoa/Italy 1981, Lect. Notes Comput. Sci. 112, 147-161 (1981).

MSC:

68Q60 Specification and verification (program logics, model checking, etc.)
05C05 Trees
06B23 Complete lattices, completions

Citations:

Zbl 0459.00022