Lecture Notes in Computer Science - STACS 93
Latest Publications

TOTAL DOCUMENTS

73
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540565031, 9783540475743
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Recursive automata on infinite words

1993 ◽  
pp. 629-639 ◽  
Author(s):  
Ludwig Staiger
Keyword(s):  
Infinite Words

The KIV system a tool for formal program development

1993 ◽  
pp. 704-705 ◽  
Author(s):  
Rainer Drexler ◽  
Wolfgang Reif ◽  
Gerhard Schellhorn ◽  
Kurt Stenzel ◽  
Werner Stephan ◽  
...  
Keyword(s):  
Program Development ◽  
System A ◽  
Formal Program

The bit probe complexity measure revisited

1993 ◽  
pp. 662-671 ◽  
Author(s):  
Peter Bro Miltersen
Keyword(s):  
Complexity Measure ◽  
Probe Complexity

Deterministic asynchronous automata for infinite traces

1993 ◽  
pp. 617-628 ◽  
Author(s):  
Volker Diekert ◽  
Anca Muscholl
Keyword(s):  
Asynchronous Automata

Circuits with monoidal gates

1993 ◽  
pp. 555-565 ◽  
Author(s):  
Martin Beaudry ◽  
Pierre McKenzie ◽  
Pierre Péladeau

Extended locally definable acceptance types

1993 ◽  
pp. 473-483 ◽  
Author(s):  
Rolf Niedermeier ◽  
Peter Rossmanith

Capabilities and complexity of computations with integer division

1993 ◽  
pp. 463-472 ◽  
Author(s):  
Katharina Lürwer-Brüggemeier ◽  
Friedhelm Meyer
Keyword(s):  
Integer Division

Structured operational semantics for concurrency and hierarchy

1993 ◽  
pp. 418-427
Author(s):  
Andrew C. Uselton
Keyword(s):  
Operational Semantics

Computability properties of low-dimensional dynamical systems

1993 ◽  
pp. 365-373 ◽  
Author(s):  
Michel Cosnard ◽  
Max Garzon ◽  
Pascal Koiran
Keyword(s):  
Dynamical Systems ◽  
Low Dimensional

Efficient compression of wavelet coefficients for smooth and fractal-like data

1993 ◽  
pp. 343-353 ◽  
Author(s):  
Karel Culik ◽  
Simant Dube
Keyword(s):  
Wavelet Coefficients
Load More ...
Sign in / Sign up

Export Citation Format

Share Document