Mathematical Foundations of Computer Science 1978 : 7th Symposium Zakopane, Poland, September 4-8, 1978. Proceedings. 1st ed. 1978

種類:

電子ブック

責任表示:

edited by J. Winkowski

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1978

著者名:

• Winkowski, J.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 64

ISBN:

9783540357575 [3540357572]    

注記:

The connection between modal logic and algorithmic logics -- The algebraic semantics of recursive program schemes -- Finding the correctness proof of a concurrent program -- An algebra for parallelism based on petri nets -- Data types as functions -- Synthesis of communicating behaviour -- Programming languages as mathematical objects -- Writing and verifying sequential files updating programs -- On the completeness of query languages for relational data bases -- Mastering contextsensitivity in programming languages -- Decision problems concerning parallel programming -- Attribute grammars and two-level grammars: A unifying approach -- Extensions and implementations of abstract data type specifications -- Concurrency of manipulations in multidimensional information structures -- Deriving structures from structures -- Semantics of nondeterminism, concurrency and communication -- Contribution to the theory of concurrency in databases -- Facts in place/transition-nets -- Loop programs and classes of primitive re

ローカル注記:

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