International Journal of Applied Mathematics and Computer Science > 2001 > 11 > 3 > 719-737
Source
Abstract
Identifiers
journal ISSN : | 1641-876X |
journal e-ISSN : | 2083-8492 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
Austin J.L. (1961): How to Talk, In: Philosophical Papers (J.O. Urmson and G.J. Warnock, Eds.). — Oxford: Oxford University Press.
-
Blizard W.D. (1989): Multiset Theory. — Notre Dame J. Formal Logic, Vol.30, No.1, pp.36– 66.
-
Cerf V., Fernandez E., Gostelow K. and Volansky S. (1971): Formal control flow properties or a model of computation. — Rep. ENG-7178, Computer Science Department, University of California, Los Angeles, California.