CSL '88 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

23
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer-Verlag

354051659x
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Integration of descriptive and procedural language constructs

2005 ◽  
pp. 344-356
Author(s):  
Wolfgang Schönfeld ◽  
Werner Stephan
Keyword(s):  
Language Constructs

Is average superlinear speedup possible?

2005 ◽  
pp. 301-312 ◽  
Author(s):  
Ewald Speckenmeyer
Keyword(s):  
Superlinear Speedup

Gentzen-Systems for propositional temporal logics

2005 ◽  
pp. 240-253 ◽  
Author(s):  
Barbara Paech
Keyword(s):  
Temporal Logics ◽  
Gentzen Systems

On the existence of fair schedulers

2005 ◽  
pp. 272-287
Author(s):  
Lutz Priese

Delete operations and Horn formulas

2005 ◽  
pp. 329-343 ◽  
Author(s):  
Rüdiger Schätz
Keyword(s):  
Horn Formulas

A remark on minimal polynomials of Boolean functions

2005 ◽  
pp. 372-383 ◽  
Author(s):  
B. Voigt ◽  
I. Wegener
Keyword(s):  
Boolean Functions ◽  
Minimal Polynomials
Load More ...
Sign in / Sign up

Export Citation Format

Share Document