The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Karel Culík: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Karel Culík
    Main Degrees of Complexity of Computer Programs and Computable Functions (Abstract). [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1973, pp:151-153 [Conf]
  2. Karel Culík
    On Some Axiomatic Systems for Formal Grammars and Languages. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1962, pp:313-317 [Conf]
  3. Karel Culík
    Equivalences of Parallel Courses of Algorithmic Nets and Precedence Flow Diagrams. [Citation Graph (0, 0)][DBLP]
    MFCS, 1973, pp:27-38 [Conf]
  4. Karel Culík
    Synchronized parallel computation and slowdown of translators. [Citation Graph (0, 0)][DBLP]
    Mathematical Studies of Information Processing, 1978, pp:67-105 [Conf]
  5. Karel Culík
    Almost Control-Free (Indeterministic) Parallel Computation on Permit Schemes. [Citation Graph (0, 0)][DBLP]
    POPL, 1978, pp:176-184 [Conf]
  6. Karel Culík
    Mathematical Theory of Serial Computers. [Citation Graph (0, 0)][DBLP]
    Fachtagung über Programmiersprachen, 1976, pp:203-234 [Conf]
  7. Karel Culík, Michael A. Arbib
    Sequential and Jumping Machines and their Relation to Computers [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1973, v:2, n:, pp:162-171 [Journal]
  8. Karel Culík
    Axiomatic System for Phrase Structure Grammars. I [Citation Graph (0, 0)][DBLP]
    Information and Control, 1965, v:8, n:5, pp:493-502 [Journal]
  9. Karel Culík
    An Advanced Programming Language Definition and Domain Correctness of Programs. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1982, v:17, n:8, pp:57-66 [Journal]
  10. Karel Culík
    On Formal and Informal Proofs for Program Correctness. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1983, v:18, n:1, pp:23-28 [Journal]
  11. Karel Culík
    An aperiodic set of 13 Wang tiles. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 1996, v:160, n:1-3, pp:245-251 [Journal]

Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002