**ISBN:** 0521619335

**Author:** Peter D. Mosses

**Language:** English

**Publisher:** Cambridge University Press (February 17, 2005)

**Pages:** 396

**Category:** Programming

**Subcategory:** IT

**Rating:** 4.5

**Votes:** 375

**Size Fb2:** 1416 kb

**Size ePub:** 1619 kb

**Size Djvu:** 1487 kb

**Other formats:** docx azw rtf txt

This series offers books on theoretical computer science, that part of computer science concerned with fundamental mathematical questions about computers, programs, algorithms, data, and information processing systems in general.

This series offers books on theoretical computer science, that part of computer science concerned with fundamental mathematical questions about computers, programs, algorithms, data, and information processing systems in general. Computers and programs are inherently mathematical objects, and an understanding of their mathematical basis is essential to the appreciation of the foundations of computer science

Series: Cambridge Tracts in Theoretical Computer Science (Book 53). Paperback: 578 pages. Publisher: Cambridge University Press (September 30, 2002). generated submodels, disjoint unions, unravellings, bulldozing); invariance or preservation results (. guarded and packed fragments of FOL, Sahlqvist formulas, standard translations); completeness proofs.

Algorithmic Information Theory (Cambridge Tracts in Theoretical Computer Science, Volume 1. Report "Action Semantics (Cambridge Tracts.

Semantic Scholar extracted view of "Cambridge tracts in theoretical computer . Neighborhood Semantics for Modal Logic.

Semantic Scholar extracted view of "Cambridge tracts in theoretical computer science" by Patrick Blackburn et a. oceedings{geTI, title {Cambridge tracts in theoretical computer science}, author {Patrick Blackburn and Maarten de Rijke and Yde Venema}, year {2001} }. Patrick Blackburn, Maarten de Rijke, Yde Venema.

This is a list of important publications in theoretical computer science, organized by field. Some reasons why a particular publication might be regarded as important: Topic creator – A publication that created a new topic. Breakthrough – A publication that changed scientific knowledge significantly. Influence – A publication which has significantly influenced the world or has had a massive impact on the teaching of theoretical computer science.

In: Software Engineering 2. Texts in Theoretical Computer Science An EATCS Series. Springer, Berlin, Heidelberg.

Mosses: Action Semantics (Cambridge University Press: Tracts in Theoretical Computer Science, 1992)Google Scholar. In: Software Engineering 2.

Series: Cambridge Tracts in Theoretical Computer Science 26. File: PDF, . 3 MB. Читать онлайн.

Categories: Mathematics\Logic. Series: Cambridge Tracts in Theoretical Computer Science 26.

Unified algebras and action semantics. PD Mosses Implicit propagation in structural operational semantics. PD Mosses, MJ New. Electronic Notes in Theoretical Computer Science 229 (4), 49-66, 2009. Annual Symposium on Theoretical Aspects of Computer Science, 17-35, 1989. The use of action semantics. Aarhus Universitet, Matematisk Institut, Datalogisk Afdeling, 1986. Implicit propagation in structural operational semantics.