STACS 86 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

30
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540160786, 9783540397588
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Towards specification and proof of asynchronous systems

1986 ◽  
pp. 262-276 ◽  
Author(s):  
B. Gamatie
Keyword(s):  
Asynchronous Systems

Strictness and serializability

1986 ◽  
pp. 252-261
Author(s):  
Udo Kelter

Equations in free partially commutative monoids

1986 ◽  
pp. 192-202 ◽  
Author(s):  
Christine Duboc
Keyword(s):  
Commutative Monoids

New upperbounds for decentralized extrema-finding in a ring of processors

1986 ◽  
pp. 119-129 ◽  
Author(s):  
H. L. Bodlaender ◽  
J. Leeuwen
Keyword(s):  
Extrema Finding

Ions and local definitions in logic programming

1986 ◽  
pp. 60-72 ◽  
Author(s):  
M. A. Nait Abdallah
Keyword(s):  
Logic Programming

Polynomial time algorithms for finding integer relations among real numbers

1986 ◽  
pp. 105-118 ◽  
Author(s):  
J. Hastad ◽  
B. Helfrich ◽  
J. Lagarias ◽  
C. P. Schnorr
Keyword(s):  
Polynomial Time ◽  
Real Numbers ◽  
Polynomial Time Algorithms

Some probabilistic powerdomains in the category SFP

1986 ◽  
pp. 49-59 ◽  
Author(s):  
D. Frutos Escrig

Long unavoidable patterns

1986 ◽  
pp. 227-235
Author(s):  
Ursula Schmidt
Keyword(s):  
Unavoidable Patterns

Separating and testing

1986 ◽  
pp. 203-212
Author(s):  
Ph. Darondeau
Load More ...
Sign in / Sign up

Export Citation Format

Share Document