Get Free Shipping on orders over $0
Lecture Notes in Computer Science : Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on             Trees in - Hartmut Ehrig

Lecture Notes in Computer Science

Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in

By: Hartmut Ehrig (Editor), Robert Kowalski (Editor), Giorgio Levi (Editor)

Paperback | 27 February 1987

At a Glance

Paperback


$59.99

or 4 interest-free payments of $15.00 with

 or 

Ships in 5 to 7 business days

On the complexity of branching programs and decision trees for clique functions.- Average complexity of additive properties for multiway tries: A unified approach.- Longest common factor of two words.- An unification semi-algorithm for intersection type schemes.- Optimal run time optimization proved by a new look at abstract interpretations.- Transformation ordering.- On parametric algebraic specifications with clean error handling.- Toward formal development of programs from algebraic specifications: Implementations revisited.- Finite algebraic specifications of semicomputable data types.- On the semantics of concurrency: Partial orders and transition systems.- CCS without ?'s.- A fully observational model for infinite behaviours of communicating systems.- SMoLCS-driven concurrent calculi.- Parameterized horn clause specifications: Proof theory and correctness.- Partial composition and recursion of module specifications.- Efficient representation of taxonomies.- Applications of compactness in the Smyth powerdomain of streams.- Characterizing Kripke structures in temporal logic.- Dialogue with a proof system.- Induction principles formalized in the calculus of constructions.- Algebraic semantics.

More in Mathematical Theory of Computation

Discrete Mathematics for Computing : Grassroots - Peter Grossman

RRP $150.00

$117.75

21%
OFF
Mathematical Foundations of Deep Learning : Theory and Algorithms - Xiaojing Ye
Theory of Computation for Software Developers - Maxim  Mozgovoy

RRP $189.00

$167.75

11%
OFF
Nonlinear Analysis for Human Movement Variability - Nicholas Stergiou

RRP $194.00

$171.75

11%
OFF
Mining Complex Networks : Advances in Applied Mathematics - Bogumil Kaminski
Mining Complex Networks : Advances in Applied Mathematics - Bogumil Kaminski
Applied Mathematics with F# - Sudipta Mukherjee