Mathematical Foundations of Computer Science 1976 : 5th Symposium at Gdansk, Sept. 6-10, 1976. Proceedings. 1st ed. 1976

種類:

電子ブック

責任表示:

edited by A. Mazurkiewicz

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1976

著者名:

• Mazurkiewicz, A.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 45

ISBN:

9783540381693 [3540381694]    

注記:

Exercises in denotational semantics -- W-automata and their languages -- On semantic issues in the relational model of data -- The effective arrangement of logical systems -- Recursivity, sequence recursivity, stack recursivity and semantics of programs -- Descriptional complexity (of languages) a short survey -- On the branching structure of languages -- Algorithms and real numbers -- On mappings of machines -- Recent results on L systems -- Decision problems for multi-tape automata -- Recursive program schemes and computable functionals -- Some fundamentals of order-algebraic semantics -- On attribute grammars -- Formal definition of semantics of generalized control regimes -- Minimal while programs -- On specific features of recognizable families of languages -- On the termination of simple computer programs -- Reduction of Petri-nets -- On behaviour of R-fuzzy automata -- Cannonizing reducibility method in the theory of program schemata -- Strongly connected G-S-M mappings preserving conjugation -- Analys

ローカル注記:

学内専用E-BOOKS (local access only)