MPG.eBooks - Search Results - ((structural functions) or (structures functions))

Search alternatives:
structural functions » structural functional , structure functions , structural foundations
structures functions » structure functions , structure function , structure functional

Published 2006

Springer Berlin Heidelberg

Table of Contents: “... Nondeterminism in the Calculus of Structures -- A Relaxed Approach to Integrity and Inconsistency in Databases...”

Published 2008

Springer Berlin Heidelberg

Table of Contents: “... for Rewriting Approximations -- A Needed Rewriting Strategy for Data-Structures with Pointers -- Effectively...”

Published 2000

Springer Berlin Heidelberg

Table of Contents: “... Operations and Monadic Second-Order Logic: A Survey -- Efficient First Order Functional Program Interpreter...”

Published 2007

Springer Berlin Heidelberg

Table of Contents: “... Onto Functions and Polynomial Hierarchy -- Proved-Patterns-Based Development for Structured Programs...”

Published 2013

Springer Berlin Heidelberg

Table of Contents: “... Is Supposed to Be Easy -- Reachability Modules for the Description Logic SRIQ -- An Event Structure Model...”

Published 2005

Springer Berlin Heidelberg

Table of Contents: “... on Labeled Successor Structures -- Second-Order Principles in Specification Languages for Object-Oriented...”

Published 1992

Springer Berlin Heidelberg

Table of Contents: “... of equational enrichments -- A programming logic for a verified structured assembly language -- The unification...”