Modèles non déterministes de types abstraits
Open Access
- 1 January 1982
- journal article
- Published by EDP Sciences in RAIRO. Informatique théorique
- Vol. 16 (3) , 225-244
- https://doi.org/10.1051/ita/1982160302251
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting SystemsJournal of the ACM, 1980
- Parameter passing in nondeterministic recursive programsJournal of Computer and System Sciences, 1979
- Abstract data types and software validationCommunications of the ACM, 1978
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- On varieties closed under the construction of power algebrasBulletin of the Australian Mathematical Society, 1974
- Tree-Manipulating Systems and Church-Rosser TheoremsJournal of the ACM, 1973
- Heterogeneous algebrasJournal of Combinatorial Theory, 1970
- Completions of partially ordered sets and universal algebrasActa Mathematica Hungarica, 1966
- The validity of equations of complex algebrasArchive for Mathematical Logic, 1957
- On the Structure of Abstract AlgebrasMathematical Proceedings of the Cambridge Philosophical Society, 1935