Get Free Shipping on orders over $79
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

$129.75

13%
OFF
AI Engineering : Building Applications with Foundation Models - Chip Huyen
Beading With Algorithms : Cellular Automata In Peyote Stitch - Gwen Fisher
Beading With Algorithms : Cellular Automata In Peyote Stitch - Gwen Fisher
Applied Mathematics with F# - Sudipta Mukherjee