Lecture Notes in Computer Science - Mathematical Methods of Specification and Synthesis of Software Systems '85
Latest Publications

TOTAL DOCUMENTS

23

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540164449, 9783540397847

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Inductive inference hierarchies: Probabilistic VS pluralistic strategies

Lecture Notes in Computer Science - Mathematical Methods of Specification and Synthesis of Software Systems '85 ◽

10.1007/3-540-16444-8_5 ◽

1986 ◽

pp. 73-82 ◽

Author(s):

Robert P. Daley

Keyword(s):

Inductive Inference

Download Full-text

Some problems on inductive inference from positive data

Lecture Notes in Computer Science - Mathematical Methods of Specification and Synthesis of Software Systems '85 ◽

10.1007/3-540-16444-8_3 ◽

1986 ◽

pp. 41-58 ◽

Author(s):

Takeshi Shinohara

Keyword(s):

Inductive Inference ◽

Download Full-text

Theoretical aspects of Σ-programming

Lecture Notes in Computer Science - Mathematical Methods of Specification and Synthesis of Software Systems '85 ◽

10.1007/3-540-16444-8_13 ◽

1986 ◽

pp. 169-179 ◽

Author(s):

S. S. Goncharov ◽

D. I. Sviridenko

Download Full-text

How fast is program synthesis from examples

Lecture Notes in Computer Science - Mathematical Methods of Specification and Synthesis of Software Systems '85 ◽

10.1007/3-540-16444-8_22 ◽

1986 ◽

pp. 231-239 ◽

Author(s):

Rolf Wiehagen

Keyword(s):

Program Synthesis

Download Full-text

The algorithmic specification method of abstract data types: An overview

Lecture Notes in Computer Science - Mathematical Methods of Specification and Synthesis of Software Systems '85 ◽

10.1007/3-540-16444-8_16 ◽

1986 ◽

pp. 194-200

Author(s):

Jacques Loeckx

Keyword(s):

Abstract Data Types ◽

Specification Method ◽

Download Full-text

Language and example of knowledge-based programming

Lecture Notes in Computer Science - Mathematical Methods of Specification and Synthesis of Software Systems '85 ◽

10.1007/3-540-16444-8_4 ◽

1986 ◽

pp. 59-72

Author(s):

E. Tyugu

Keyword(s):

Knowledge Based

Download Full-text

Predicative programming revisited

Lecture Notes in Computer Science - Mathematical Methods of Specification and Synthesis of Software Systems '85 ◽

10.1007/3-540-16444-8_2 ◽

1986 ◽

pp. 25-40

Author(s):

W. Bibel

Keyword(s):

Predicative Programming

Download Full-text

Orientation problems on sequences by recursive functions

Lecture Notes in Computer Science - Mathematical Methods of Specification and Synthesis of Software Systems '85 ◽

10.1007/3-540-16444-8_17 ◽

1986 ◽

pp. 201-206

Author(s):

Péter Komjáth ◽

Szabó Zsolt

Keyword(s):

Recursive Functions

Download Full-text

Learning on the basis of a polynomial pattern synthesis algorithm

Lecture Notes in Computer Science - Mathematical Methods of Specification and Synthesis of Software Systems '85 ◽

10.1007/3-540-16444-8_9 ◽

1986 ◽

pp. 141-148

Author(s):

Ognian Botusharov

Keyword(s):

Pattern Synthesis ◽

Synthesis Algorithm

Download Full-text

The solution of discrete problems by means of ternary representations

Lecture Notes in Computer Science - Mathematical Methods of Specification and Synthesis of Software Systems '85 ◽

10.1007/3-540-16444-8_18 ◽

1986 ◽

pp. 207-214

Author(s):

Ch Posthoff ◽

J. Reiß

Keyword(s):

Discrete Problems

Download Full-text