Modèles non déterministes de types abstraits
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1982)
- Volume: 16, Issue: 3, page 225-244
- ISSN: 0988-3754
Access Full Article
topHow to cite
topLescanne, Pierre. "Modèles non déterministes de types abstraits." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 16.3 (1982): 225-244. <http://eudml.org/doc/92163>.
@article{Lescanne1982,
author = {Lescanne, Pierre},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {nondeterministic models of abstract data types; algebraic sets in heterogeneous algebras},
language = {fre},
number = {3},
pages = {225-244},
publisher = {EDP-Sciences},
title = {Modèles non déterministes de types abstraits},
url = {http://eudml.org/doc/92163},
volume = {16},
year = {1982},
}
TY - JOUR
AU - Lescanne, Pierre
TI - Modèles non déterministes de types abstraits
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1982
PB - EDP-Sciences
VL - 16
IS - 3
SP - 225
EP - 244
LA - fre
KW - nondeterministic models of abstract data types; algebraic sets in heterogeneous algebras
UR - http://eudml.org/doc/92163
ER -
References
top- 1. G. BIRKOFF, On the Structure of Abstract Algebras, Proc. Cambridge Phil. Soc. vol. 31, 1935, p. 433-454. JFM61.1026.07
- 2. G. BIRKOFF et J. D. LIPSON, Heterogeneous Algebras, Journal of Combinatorial Theory, vol. 8, 1970, p. 115-133. Zbl0211.02003MR250887
- 3. D. BENSON, Parameter Passing in Nondeterministie Recursive Programs, J. Comput. System Sc., vol. 19, 1979, p. 50-62. Zbl0418.68011MR546233
- 4. M. N. BLEICHNER et M. SCHNEIDER, Completion of Partially Ordered Set and Universal Algebras, Acta Math. Acad Sc. Hungaricae, vol. 17, 1966, p. 271-301. Zbl0144.25502MR202641
- 5. M. N. BLEICHNER, M. SCHNEIDER et R. L. WILSON, Permanence on Identities on Algebras, Algebra Universalis, vol. 3, 1973, p. 75-93. Zbl0273.08010MR337723
- 6. P. M. COHN, Universal Algebra, HARPER and Row, éd., New York, 1965. Zbl0141.01002MR175948
- 7. B. COURCELLE et J. C. RAOULT, Completions of Ordered Magmas, Fundamenta Informaticae, vol. III.1, 1980, p. 105-116. Zbl0463.06005MR588060
- 8. L. FUCHS, On Partially Ordered Algebras I, Colloquium Math., vol. 14, 1966, p. 115-130. Zbl0201.34702MR184888
- 9. L. FUCHS, On Partially Ordered Algebras II, Acta Univ. Szegediensis, vol. 26, 1965, p. 34-41. Zbl0192.09603MR180514
- 10. N. D. GAUTAM, The Validity of Complex Algebras, Arch. Math. Logik Grundlagenforsh., vol. 3, 1957, p. 117-127. Zbl0081.26005MR92750
- 11. J. A. GOGUEN, J. W. THATCHER, E. G. WAGNER et J. B. WRIGHT, Initial Algebra Semanticsand Continuons Algebras, J. Assoc. Comput. Mach., vol. 24 1977, p. 68-85. Zbl0359.68018
- 12. G. GRATZER, Universal Algebra, Van Nostrand, 1968. Zbl0182.34201MR248066
- 12. J. V. GUTTAG. E. HOROWITZ et D. R. MUSSER, Abstract Data Types and Software Validation, Comm. Assoc. Comput. Mach., vol. 21 1978, p. 1048-1064. Zbl0387.68012MR513969
- 14. G. HUET, Confluent Reduction: Abstract Properties and Applications to Term Rewriting Systems, J. Assoc. Comput. Mach., vol. 27, 1980, p. 797-821. Zbl0458.68007MR594700
- 15. D. KAPUR, Toward a Theory for Abstract Data Types, Massachusetts Institute of Technology, Ph. D. Thesis, May 1980, MIT/LCS/TR-237.
- 16. D. E. KNUTH, The Art of Computer Programming, vol. 1: Fundamental Algorithms, Addison Wesley, Reading, Mass., 1968. Zbl0191.17903MR378456
- 17. P. LESCANNE, Algèbres de mots et Algèbre Universelle, Colloque A.F.C.E.T-S.M.F., tome II, 1978, p. 147-156. Zbl0487.08010
- 18. P. LESCANNE, Étude algébrique et relationnelle des types abstraits et de leurs représentations, Thèse d'État, Institut National Polytechnique de Lorraine, Centre de Recherche en Informatique de Nancy, C.R.I.N. 79-T-059, 1979.
- 19. B. LISKOV, R. ATKINSON, T. BLOOM, E. Moss, J. G. SCHAFFERT, R. SCHEIFLER et A. SNYDER, CLU Reference Manual, Lecture Notes in Computer Science, vol. 114, 1981. Zbl0463.68009
- 20. P. MARCHAND, Langages d'Arbres, Langages dans les Algèbres Libres, Thèse d'État, Université de Nancy 1, Centre de Recherche en Informatique de Nancy, C.R.I.N. 81-T-030, 1981.
- 21. R. S. PIERCE, Introduction to the Theory of Abstract Algebras, Holt, Rinehart and Wilson, 1968. MR227070
- 22. B. K. ROSEN, Tree-Manipulation Systems and Church-Rosser Theorems, J. Assoc.Comput. Mach., vol. 20, 1973, p. 160-187. Zbl0267.68013MR331850
- 23. A. SHAFAAT, On Variettes Closed under the Construction of Power Algebras, Bull. Austral. Math. Soc, vol. 11, 1974, p. 213-218. Zbl0295.08002MR364055
- 24. P. A. SUBRAHMANYAM, Nondetermimsm in Abstract Data Types8th Int. Coll. on Automata, Languages and Programming, Lecture Notes in Computer Science, vol. 115, 1981, p. 148-164. Zbl0468.68017
- 25. B. L. VAN DER WAERDEN, Moderne Algebra, Springer Verlag, Berlin, 1930. Zbl0002.00804JFM56.0138.01
- 26. M. WAND: Mathematical Foundations of Formal Languages Theory, MAC TR-108, Massachusetts Institute of Technology, Project MAC, Cambridge, Massachusetts, 1973.
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.