M. A. Spivak. Algoritm abstraktnogo sintéza avtomatov dla rasširènnogo ázyka régulàrnyh vyražénij. Izvéstiá Akadémii Nauk SSSR, téhničéskaá kibérnétika, no. 1 , pp. 51–57. - M. A. Spivak. Algorithm for abstract synthesis of automata for an expanded language of regular expressions. English translation of the preceding. Engineering cybernetics, no. 1 , pp. 43–49 [Book Review]

Journal of Symbolic Logic 37 (3):620-620 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272791

Other Versions

No versions found

Links

PhilArchive



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

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

Mirkin B. G.. Novyj algoritm postroéniá bazisa v ázyké régularnyh vyražénij. Izvéstiá Akadémii Nauk SSSR, Téchničeskaá Kibérnétika, no. 5 , pp. 113–119.Mirkin B. G.. An algorithm for constructing a base in a language of regular expressions. English translation of the preceding. Engineering cybernetics, no. 5 , pp. 110–116. [REVIEW]J. A. Brzozowski - 1971 - Journal of Symbolic Logic 36 (4):694-694.
Ú. V. Matiásévič. Diofantovo prédstavlénié péréčislimyh prédikatov. Izvéstiá Akadémii Nauk SSSR, Sériá matématičéskaá, vol. 35 , pp. 3–30. - Ju. V. Matijasevič. Diophantine representation of enumerable predicates. English translation of the preceding by F. M. Goldware. Mathematics of the USSR, Izvestija, vol. 5 , pp. 1–28. [REVIEW]Martin Davis - 1974 - Journal of Symbolic Logic 39 (3):605.
A. I. Mal′cév. Régularnyé proizvédéniá modéléj. Izvéstiá Akadémii Nauk SSSR, Sériá matématičéskaá, vol. 23 (1959), pp. 489–502. - A. I. Mal′cév. Regular products of models. English translation of the preceding by J. N. Whitney. American Mathematical Society translations, ser. 2 vol. 39 (1964), pp. 193–206. [REVIEW]Abraham Robinson - 1970 - Journal of Symbolic Logic 34 (4):651-652.
A. I. Mal′cév. Régularnyé proizvédéniá modéléj. Izvéstiá Akadémii Nauk SSSR, Sériá matématičéskaá, vol. 23 (1959), pp. 489–502. - A. I. Mal′cév. Regular products of models. English translation of the preceding by J. N. Whitney. American Mathematical Society translations, ser. 2 vol. 39 (1964), pp. 193–206. [REVIEW]J. N. Whitney - 1970 - Journal of Symbolic Logic 34 (4):651-652.
Šéstakov V. I.. Predstavlénié haraktéristiçeskih funkcij prédložénif posrédstvom vyražénij, réalizuémyh réléjno-kontaktnymi shémami . Russian with English summary. Izvéstiá Akadémii Nauk SSSR , Sérià matématiěskaá , vol. 10 , pp. 529–554. [REVIEW]Andrzej Mostowski - 1947 - Journal of Symbolic Logic 12 (4):135-135.
M. M. Kipnis. Ob odnom svojstvé propozicionaľnyh formul. Doklady Akadémii Nauk SSSR, vol. 174 , pp. 277–278. - M. M. Kipnis. A property of prepositional formulas. English translation of the preceding by S. Walker. Soviet mathematics, vol. 8 no. 3 , pp. 620–622. [REVIEW]Gene F. Rose - 1969 - Journal of Symbolic Logic 33 (4):606.
B. A. Trahténbrot. Ob avtosvodimosti. Doklady Akadémii Nauk SSSR, vol. 192 , pp. 1224–1227. - B. A. Trahtenbrot. On autoreducibility. English translation of the preceding by M. Machover. Soviet mathematics, vol. 11 no. 3 , pp. 814–817. [REVIEW]Richard E. Ladner - 1973 - Journal of Symbolic Logic 38 (3):527.
M. I. Kratko. Ob odnom klassé isčislénij Posta. Doklady Akadémii Nauk SSSR, Vol. 165 , pp. 994–995. - M. I. Kratko. A class of post calculi. English translation of the preceding by E. Mendelson. Soviet mathematics, vol. 6 No. 6 , pp. 1544–1545. [REVIEW]J. W. Thatcher - 1967 - Journal of Symbolic Logic 32 (3):393.
A. I. Mal'cév. O svobodnyh razréšimyh gruppah. Doklady Akadémii Nauk SSSR, vol. 130 , pp. 495–498. - A. I. Mal'cev. On free soluble groups. English translation of the preceding by K. A. Hirsch. Soviet mathematics, vol. 1 no. 1 , pp. 65–68. [REVIEW]Verena H. Dyson - 1965 - Journal of Symbolic Logic 30 (1):99.
Grindlingér É. I.. O nérazréšimosti problémy toždéstva slov dlá odnogo klassa polugrupp s razréšimoj problèmoj izomorfizma. Doklady Akadémii Nauk SSSR, vol. 171 , pp. 519–520.Grindlinger [Greendlinger] E. I.. On the unsolvability of the word problem for a class of semigroups with a solvable isomorphism problem. English translation of the preceding by Greendlinger M.. Soviet mathematics, vol. 7 no. 6 , pp. 1502–1503. [REVIEW]C. R. J. Clapham - 1968 - Journal of Symbolic Logic 33 (3):469-469.

Analytics

Added to PP
2013-11-03

Downloads
34 (#672,134)

6 months
15 (#214,286)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jerzy Brzozowski
Universidade Federal de Santa Catarina

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references