Lecture Notes in Computer Science - CSL '87
Latest Publications

TOTAL DOCUMENTS

24

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540502418, 9783540459606

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Resolution with feature unification

Lecture Notes in Computer Science - CSL '87 ◽

10.1007/3-540-50241-6_26 ◽

1988 ◽

pp. 17-26

Author(s):

K. H. Bläsius ◽

U. Hedtstück

Keyword(s):

Feature Unification

Download Full-text

Is setl a suitable language for parallel programming — a theoretical approach

Lecture Notes in Computer Science - CSL '87 ◽

10.1007/3-540-50241-6_29 ◽

1988 ◽

pp. 56-63 ◽

Cited By ~ 1

Author(s):

Elias Dahlhaus

Keyword(s):

Parallel Programming ◽

Theoretical Approach

Download Full-text

On the average case complexity of backtracking for the exact-satisfiability problem

Lecture Notes in Computer Science - CSL '87 ◽

10.1007/3-540-50241-6_44 ◽

1988 ◽

pp. 281-288 ◽

Cited By ~ 2

Author(s):

Ewald Speckenmeyer

Keyword(s):

Satisfiability Problem ◽

Average Case ◽

Case Complexity ◽

Average Case Complexity

Download Full-text

Learning by teams from examples with errors

Lecture Notes in Computer Science - CSL '87 ◽

10.1007/3-540-50241-6_40 ◽

1988 ◽

pp. 223-234

Author(s):

Reinhard Rinn ◽

Britta Schinzel

Download Full-text

Diagonalizing over deterministic polynomial time

Lecture Notes in Computer Science - CSL '87 ◽

10.1007/3-540-50241-6_25 ◽

1988 ◽

pp. 1-16 ◽

Cited By ~ 9

Author(s):

Klaus Ambos-Spies ◽

Hans Fleischhack ◽

Hagen Huwig

Keyword(s):

Polynomial Time

Download Full-text

Complexity cores and hard-to-prove formulas

Lecture Notes in Computer Science - CSL '87 ◽

10.1007/3-540-50241-6_43 ◽

1988 ◽

pp. 273-280 ◽

Cited By ~ 1

Author(s):

Uwe Schöning

Download Full-text

Interfacing a logic machine

Lecture Notes in Computer Science - CSL '87 ◽

10.1007/3-540-50241-6_42 ◽

1988 ◽

pp. 263-272

Author(s):

Wolfgang Schönfeld

Download Full-text

Deciding the path- and word-fair equivalence problem

Lecture Notes in Computer Science - CSL '87 ◽

10.1007/3-540-50241-6_39 ◽

1988 ◽

pp. 211-222

Author(s):

Ralf Rehrmann ◽

Lutz Priese

Keyword(s):

Equivalence Problem

Download Full-text

On type inference for object-oriented programming languages

Lecture Notes in Computer Science - CSL '87 ◽

10.1007/3-540-50241-6_36 ◽

1988 ◽

pp. 151-172 ◽

Cited By ~ 2

Author(s):

Hans Leiß

Keyword(s):

Programming Languages ◽

Object Oriented ◽

Type Inference ◽

Object Oriented Programming

Download Full-text

Algebraic operational semantics and modula-2

Lecture Notes in Computer Science - CSL '87 ◽

10.1007/3-540-50241-6_31 ◽

1988 ◽

pp. 81-101 ◽

Cited By ~ 7

Author(s):

Yuri Gurevich ◽

James M. Morris

Keyword(s):

Operational Semantics

Download Full-text