Free Access
Issue |
R.A.I.R.O. Informatique théorique
Volume 8, Number R3, 1974
|
|
---|---|---|
Page(s) | 73 - 91 | |
DOI | https://doi.org/10.1051/ita/197408R300731 | |
Published online | 01 February 2017 |
- ARBIB M. A. and MANES E. G., Adjoint Machines, State-behavior and Duality, Technical Report 73 B-l COINS, University of Massachusetts at Amherst (1973). (to appear in J. Pure Appl. Alg.). [Zbl: 0323.18002] [Google Scholar]
- BOURBAKI N., Topologie Générale, Ch. 10 : Espaces Fonctionnels, Hermann, Paris, 1961. [Zbl: 0139.15904] [Google Scholar]
- BRAUER W., ZU den Grundlagen einer Theorie topologischer sequentieller Systeme und Automaten, Berichte GMD Bonn Nr. 31, 1970. [MR: 266694] [Zbl: 0216.56503] [Google Scholar]
- BRAUER W., Automates topologiques et ensembles reconnaissables, Séminaire Schützenberger-Lentin-Nivat, année 1969/1970, n° 18. [EuDML: 112802] [MR: 285395] [Zbl: 0216.56601] [Google Scholar]
- BROWN R., Function Spaces and Product Topologies, Quart. J. Math., Oxford, Ser. 2, 75, 2964, 238-250. [MR: 165497] [Zbl: 0126.38503] [Google Scholar]
- DAY J. M. and FRANKLIN S. P., Spaces of Continuous Relations, Math. Ann., 169, 1967, 289-293. [EuDML: 161522] [MR: 210092] [Zbl: 0146.18302] [Google Scholar]
- DUGUNDJI J., Topology, Allyn and Bacon, Boston, 1966. [MR: 193606] [Zbl: 0144.21501] [Google Scholar]
- EHRIG H. and KREOWSKI H.-J., Power and Initial Automata in Pseudoclosed Categories, Proc. Intern. Symp. : Category Theory Applied to Computation and Control, San Francisco, 1974, 162-169 (to appear in Lecture Notes in Computer Science). [MR: 409029] [Zbl: 0305.94045] [Google Scholar]
- EHRIG H. and KREOWSKI H.-J., Systematic Approach of Reduction and Minimization in Automata and System Theory, TU Berlin, 1973, FB 20 Bericht 73-16 (to appear in J. Comp. Syst. Sc). [MR: 476207] [Zbl: 0343.94025] [Google Scholar]
- EHRIG H., KIERMEIER K. D., KREOWSKI H.-J. and KÜHNEL W., Universal Theory of Automata, Teubner, Stuttgart, 1974. [MR: 382387] [Zbl: 0289.94023] [Google Scholar]
- EHRIG H. and PFENDER M. u. a., Kategorien und Automaten, de Gruyter, Berlin-New York, 1972. [MR: 340364] [Zbl: 0231.94040] [Google Scholar]
- GOGUEN J. A., Discrete-Time-Machines in Closed Monoidal Categories, I. Quart. Report no. 30, Inst. f. Comp. Res., Univ. of Chicago (1971), condensed version in : Bull. American Math. Soc. 78, 1972, 777-783. [Zbl: 0277.18003] [Google Scholar]
- GOGUEN J. A., Systems and Minimal Realization, Proc. of the 1971 IEEE Conf. on Decision and Control, Miami Beach, 1971, 42-46. [Google Scholar]
- HAHN H., Reelle Funktionen, I., Akademische Verlagsges. Leipzig, 1932. [Zbl: 0005.38903] [JFM: 58.0242.05] [Google Scholar]
- HERRLICH H., Topologische Reflexionen und Coreflexionen, Berlin, Heidelberg, New York, 1968 (Lecture Notes in Mathematics 78). [MR: 256332] [Zbl: 0182.25302] [Google Scholar]
- KREOWSKI H.-J., Automaten in pseudoabgeschlossenen Kategorien, Diplomarbeit TU Berlin, 1974. [Google Scholar]
- MAC LANE S., Categories for the Working Mathematician, Springer, Berlin, Heidelberg, New York, 1972. [Zbl: 0232.18001] [Google Scholar]
- MICHAEL E., Topologies on Spaces of Subsets, Trans. American Math. Soc, 81, 1951, 152-182. [MR: 42109] [Zbl: 0043.37902] [Google Scholar]
- POHL H.-J., Ein Ansatz zur Theorie topologischer Automaten, EIK, 1974. [Google Scholar]
- STEENROD N. E., A Convenient Category of Topological Spaces, Michigan Math. J., 14, 1967, 133-152. [MR: 210075] [Zbl: 0145.43002] [Google Scholar]
- VALK R., The Use of Metric and Uniform Spaces for the Formalization of Behavioral Proximity of States, in : 1. GI-Fachtagung über Automatentheorie und Formale Sprachen, 1973, 116-122, (Lecture Notes in Computer Science 2). [MR: 457020] [Zbl: 0341.94028] [Google Scholar]
- WISCHNEWSKI M., Initialkategorien, Diss. München, 1972. [Google Scholar]
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.