Search alternatives:
"structuralism" » "structural", "structurally"
Cover Image
Read Now

1
Published 1988
Springer Berlin Heidelberg
Table of Contents: “... -- Functional equations for data structures -- The power of polynomial size ?-branching programs -- Collapsing...”
Cover Image
Read Now

2
by Poernomo, Iman, Crossley, John N., Wirsing, Martin
Published 2005
Springer New York
Table of Contents: “... Hoare Logic -- Proofs-as-Imperative-Programs -- Structured Proofs-as-Programs -- Reasoning about...”
Cover Image
Read Now

3
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... in Urban Districts -- II Theory and Formal Methods -- Formal Ensemble Engineering -- Structured Interacting...”
Cover Image
Read Now

4
Published 1987
Springer Berlin Heidelberg
Table of Contents: “...Some structural aspects of hypergraph languages generated by hyperedge replacement -- Specification...”
Cover Image
Read Now

5
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... and Indistinguishability in Higher-Order Typed Languages -- Approach-Independent Structuring Concepts for Rule-Based...”
Cover Image
Read Now

6
Published 2004
Springer Berlin Heidelberg
Table of Contents: “...Architecture Specific Models: Software Design on Abstract Platforms -- Tight Structuring...”
Cover Image
Read Now

7
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... and Efficient Structural Characteristic Feature Extraction for Clone Detection -- Enhanced Property...”
Cover Image
Read Now

8
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... analysis for lazy data structures -- Why the occur-check is not a problem -- Incremental evaluation...”
Cover Image
Read Now

9
Published 1991
Springer Berlin Heidelberg
“... and the structures of computing science. Under the heading CIP (Computer-aided Intuition-guided Programming), a group...”