A simplification of the basic theorem on automata

Studia Logica 26 (1):35 - 44 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf02283843

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,173

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A bibliography of the published work of Jerzy słupecki.Jan Zygmunt - 1989 - Studia Logica 48 (4):413 - 421.
Jerzy słupecki (1904–1987): Life and work.Jan Woleński & Jan Zygmunt - 1989 - Studia Logica 48 (4):401 - 411.
Kalinowski Jerzy. Teoria zdań normatywnych. English, with abstracts in Polish and Russian. Studia logica , vol. 1 , pp. 113–146. See Errata, ibid., pp. 299–300.Kalinowski Jerzy. Théorie des propositions normatives. French translation. English, with abstracts in Polish and Russian. Studia logica , vol. 1 , pp. 147–182. See Errata, ibid., p. 300.Kalinowski Jerzy. Téoriá normativnyh prédložénij. Russian summary. English, with abstracts in Polish and Russian. Studia logica , vol. 1 , pp. 183–184. [REVIEW]Arthur N. Prior - 1956 - Journal of Symbolic Logic 21 (2):191-192.
Remarks on the notion of equivalence of automata.Jerzy Nowak - 1973 - Studia Logica 31 (1):153 - 158.
Confluence Proofs of Lambda-Mu-Calculi by Z Theorem.Yuki Honda, Koji Nakazawa & Ken-Etsu Fujita - 2021 - Studia Logica 109 (5):917-936.
Two definitions of the equivalence of automata.Ryszard Nowakowski - 1970 - Studia Logica 26 (1):7 - 17.
Jerzy Brzeziñski et al., eds. The courage of doing philosophy. Essays presented to Leszek Nowak. [REVIEW]Giacomo Borbone - 2012 - Philosophia 40 (2).
A structural theory of matrix-defined finite automata.R. Nowakowski - 1965 - Studia Logica 16 (1):115-116.
On a certain congruence of automata with respect to connecting and coupling with retardation.Jerzy Nowak - 1973 - Studia Logica 31 (1):159 - 165.
A theory of finite many-output automata defined by matrices.Jerzy Nowak - 1969 - Studia Logica 24 (1):55 - 81.

Analytics

Added to PP
2009-01-28

Downloads
43 (#516,917)

6 months
8 (#575,465)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references