STACS 96 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

54
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540609223, 9783540497233
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the expressivity of the modal mu-calculus

1996 ◽  
pp. 477-490 ◽  
Author(s):  
J. C. Bradfield

On the power of non-observable actions in timed automata

1996 ◽  
pp. 255-268 ◽  
Author(s):  
Béatrice Bérard ◽  
Paul Gastin ◽  
Antoine Petit
Keyword(s):  
Timed Automata ◽  
Observable Actions

Observations on measure and lowness for Δ 2 P

1996 ◽  
pp. 87-97 ◽  
Author(s):  
Jack H. Lutz

Some bounds on multiparty communication complexity of pointer jumping

1996 ◽  
pp. 643-654 ◽  
Author(s):  
Carsten Damm ◽  
Stasys Jukna ◽  
Jiří Sgall
Keyword(s):  
Communication Complexity ◽  
Multiparty Communication

Minimal forbidden words and symbolic dynamics

1996 ◽  
pp. 555-566 ◽  
Author(s):  
Marie -Pierre Béal ◽  
Filippo Mignosi ◽  
Antonio Restivo
Keyword(s):  
Symbolic Dynamics

On the successor function in non-classical numeration systems

1996 ◽  
pp. 541-553 ◽  
Author(s):  
Christiane Frougny
Keyword(s):  
Successor Function ◽  
Numeration Systems

Learning with confidence

1996 ◽  
pp. 205-218 ◽  
Author(s):  
Jānis Bārzdiņs ◽  
Rūsiņš Freivalds ◽  
Carl H. Smith

An aperiodic set of Wang cubes

1996 ◽  
pp. 137-146 ◽  
Author(s):  
Karel Culik ◽  
Jarkko Kari

Optimal schedules for d-D grid graphs with communication delays

1996 ◽  
pp. 655-666 ◽  
Author(s):  
E. Bampis ◽  
C. Delorme ◽  
J. -C. König
Keyword(s):  
Communication Delays ◽  
Grid Graphs
Load More ...
Sign in / Sign up

Export Citation Format

Share Document