MPG.eBooks - Search Results

1

Published 1993

Springer Berlin Heidelberg

Table of Contents: “... -- Four Lectures on Primitive Recursion -- Structured Specifications: Syntax, Semantics and Proof Calculus...”

2

by Bauer, Friedrich L., Goos, Gerhard
Published 1992

Springer Berlin Heidelberg

Table of Contents: “... -- 8. Syntaktische und semantische Definition algorithmischer Sprachen -- 8.1 Syntax algorithmischer...”

3

by Bauer, Friedrich L., Wirsing, Martin
Published 1991

Springer Berlin Heidelberg

Table of Contents: “.... Syntax der Aussageformen -- II. Wertverlauf -- 4. Tautologien und erfüllbare Aussageformen -- 5...”

4

by Rutishauser, Heinz
Published 1967

Springer Berlin Heidelberg

Table of Contents: “... -- 53.3. Syntax of the proposed extension -- 53.4. Semantics of the proposed extension -- 53.5...”