| Title:
|
Algorithmization of algebras and relational structures (English) |
| Author:
|
Čulík, Karel |
| Language:
|
English |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
13 |
| Issue:
|
3 |
| Year:
|
1972 |
| Pages:
|
457-477 |
| . |
| Category:
|
math |
| . |
| MSC:
|
02E10 |
| MSC:
|
03D20 |
| MSC:
|
08A05 |
| MSC:
|
68A05 |
| MSC:
|
68A10 |
| MSC:
|
68A20 |
| MSC:
|
68N01 |
| MSC:
|
68W99 |
| idZBL:
|
Zbl 0257.02023 |
| idMR:
|
MR0317574 |
| . |
| Date available:
|
2008-06-05T20:39:21Z |
| Last updated:
|
2012-04-27 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/105434 |
| . |
| Reference:
|
[1] BURSTALL Rod. M.: An algebraic description of programs with assertions, verification and simulation.SIGPLAN Notices Vol. 7, No. 1, Jan. 1972, 7-14. |
| Reference:
|
[2] ČULÍK K.: On semantics of programming languages, Automatentheorie und Formale Sprachen.editors J. Dörr - G. Hotz, Bibliographisches Institut, Mannheim - Wien - Zürich 1970, 291-303. MR 0421123 |
| Reference:
|
[3] ČULÍK K.: On sequential and non-sequential machines, and their relation to the computation in computers.(mimeographed in IFIP-WG 2. 2 Bulletin, No. 6, February 1970). |
| . |
