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

scholarly journals Resolution with feature unification

1988 ◽  
pp. 17-26
Author(s):  
K. H. Bläsius ◽  
U. Hedtstück
Keyword(s):  
Feature Unification

Learning by teams from examples with errors

1988 ◽  
pp. 223-234
Author(s):  
Reinhard Rinn ◽  
Britta Schinzel

Diagonalizing over deterministic polynomial time

1988 ◽  
pp. 1-16 ◽  
Author(s):  
Klaus Ambos-Spies ◽  
Hans Fleischhack ◽  
Hagen Huwig
Keyword(s):  
Polynomial Time

Complexity cores and hard-to-prove formulas

1988 ◽  
pp. 273-280 ◽  
Author(s):  
Uwe Schöning

Interfacing a logic machine

1988 ◽  
pp. 263-272
Author(s):  
Wolfgang Schönfeld

Deciding the path- and word-fair equivalence problem

1988 ◽  
pp. 211-222
Author(s):  
Ralf Rehrmann ◽  
Lutz Priese
Keyword(s):  
Equivalence Problem

Algebraic operational semantics and modula-2

1988 ◽  
pp. 81-101 ◽  
Author(s):  
Yuri Gurevich ◽  
James M. Morris
Keyword(s):  
Operational Semantics
Load More ...
Sign in / Sign up

Export Citation Format

Share Document