Works by Karel Čulík

( view other items matching `Karel Čulík`, view all matches )
6 found
Order:
  1.  6
    Topologische Auffassung Der Axiome Der Verknüpfung Von D. Hilbert.Karel Čulík - 1965 - Mathematical Logic Quarterly 11 (2):81-88.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  23
    Topologische Auffassung Der Axiome Der Verknüpfung Von D. Hilbert.Karel Čulík - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (2):81-88.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  36
    J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur, A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden, and M. Woodger. Revised report on the algorithmic language ALGOL 60. Numerische Mathematik, vol. 4 , pp. 420–453; also ibid., vol. 6 , pp. 1–17; and The computer journal, vol. 5 no. 4 , pp. 349–367. [REVIEW]Karel Čulík - 1972 - Journal of Symbolic Logic 37 (3):623-624.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  34
    Review: J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur, A. J. Perlis, H. Rutishauser, K. Vauquois, J. H. Wegstein, A. van Wijngaarden, M. Woodger, Report on the Algorithmic Language ALGOL 60. [REVIEW]Karel Culik - 1972 - Journal of Symbolic Logic 37 (3):622-623.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  5.  43
    J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur , A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden, and M. Woodger. Report on the algorithmic language ALGOL 60. Numerische Mathematik, vol. 2 , pp. 106–136; also Communications of the Association for Computing Machinery, vol. 3 , pp. 299–314. [REVIEW]Karel Čulík - 1972 - Journal of Symbolic Logic 37 (3):622-623.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  26
    Perlis A. J. and Samelson K.. Appendix two: Preliminary report of ACM-GAMM Committee on an International Algebraic Language. Annual review in automatic programming, Volume I, Papers read at the Working Conference on Automatic Programming of Digital Computers held at Brighton, 1–3 April 1959, edited by Goodman Richard, Pergamon Press, New York-Oxford-London-Paris 1960, pp. 268–290. , pp. 8–22.). [REVIEW]Karel Culik - 1972 - Journal of Symbolic Logic 37 (3):620-622.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark