Lecture Notes in Computer Science - CSL '89
Latest Publications

TOTAL DOCUMENTS

28

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540527534, 9783540471370

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A quantifier-free completion of logic programs

Lecture Notes in Computer Science - CSL '89 ◽

10.1007/3-540-52753-2_53 ◽

1990 ◽

pp. 384-395 ◽

Author(s):

Robert F. Stärk

Keyword(s):

Download Full-text

Semantic for abstract fairness using metric spaces

Lecture Notes in Computer Science - CSL '89 ◽

10.1007/3-540-52753-2_50 ◽

1990 ◽

pp. 355-368

Author(s):

Lutz Priese ◽

Doris Nolte

Keyword(s):

Download Full-text

Generalizing allowedness while retaining completeness of SLDNF-resolution

Lecture Notes in Computer Science - CSL '89 ◽

10.1007/3-540-52753-2_35 ◽

1990 ◽

pp. 98-115 ◽

Author(s):

Hendrik Decker ◽

Lawrence Cavedon

Download Full-text

On the verification of modules

Lecture Notes in Computer Science - CSL '89 ◽

10.1007/3-540-52753-2_30 ◽

1990 ◽

pp. 16-35 ◽

Author(s):

G. Antoniou ◽

V. Sperschneider

Download Full-text

Effectively given information systems and domains

Lecture Notes in Computer Science - CSL '89 ◽

10.1007/3-540-52753-2_36 ◽

1990 ◽

pp. 116-142 ◽

Author(s):

Manfred Droste ◽

Rüdiger Göbel

Keyword(s):

Information Systems

Download Full-text

Sequential representation of primitive recursive functions, and complexity classes

Lecture Notes in Computer Science - CSL '89 ◽

10.1007/3-540-52753-2_56 ◽

1990 ◽

pp. 422-437

Author(s):

Elisabeth Wette

Keyword(s):

Complexity Classes ◽

Recursive Functions ◽

Primitive Recursive

Download Full-text

On the average time complexity of set partitioning

Lecture Notes in Computer Science - CSL '89 ◽

10.1007/3-540-52753-2_51 ◽

1990 ◽

pp. 369-381 ◽

Author(s):

Ewald Speckenmeyer ◽

Rainer Kemp

Keyword(s):

Time Complexity ◽

Set Partitioning

Download Full-text

Polymorphic recursion and semi-unification

Lecture Notes in Computer Science - CSL '89 ◽

10.1007/3-540-52753-2_41 ◽

1990 ◽

pp. 211-224 ◽

Author(s):

Hans Leiß

Download Full-text

On test classes for universal theories

Lecture Notes in Computer Science - CSL '89 ◽

10.1007/3-540-52753-2_34 ◽

1990 ◽

pp. 90-97

Author(s):

Bernd I. Dahn

Download Full-text

Set-theoretic reductions of Hilbert's tenth problem

Lecture Notes in Computer Science - CSL '89 ◽

10.1007/3-540-52753-2_32 ◽

1990 ◽

pp. 65-75 ◽

Author(s):

D. Cantone ◽

V. Cutello ◽

A. Policriti

Keyword(s):

Hilbert's Tenth Problem ◽

Hilbert’S Tenth Problem

Download Full-text