STACS 95 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

56
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540590422, 9783540491750
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On compact representations of propositional circumscription

1995 ◽  
pp. 205-216 ◽  
Author(s):  
Marco Cadoli ◽  
Francesco M. Donini ◽  
Marco Schaerf
Keyword(s):  
Compact Representations

Dynamic analysis of the sizes of relations

1995 ◽  
pp. 433-444
Author(s):  
Danièle Gardy ◽  
Guy Louchard
Keyword(s):  
Dynamic Analysis

The χt-coloring problem

1995 ◽  
pp. 409-420 ◽  
Author(s):  
Damon Kaller ◽  
Arvind Gupta ◽  
Tom Shermer
Keyword(s):  
Coloring Problem

On codings of traces

1995 ◽  
pp. 385-396 ◽  
Author(s):  
Volker Diekert ◽  
Anca Muscholl ◽  
Klaus Reinhardt

Interval routing schemes

1995 ◽  
pp. 279-290 ◽  
Author(s):  
Michele Flammini ◽  
Giorgio Gambosi ◽  
Sandro Salomone
Keyword(s):  
Routing Schemes ◽  
Interval Routing

Exploiting storage redundancy to speed up randomized shared memory simulations

1995 ◽  
pp. 267-278 ◽  
Author(s):  
Friedhelm Meyer ◽  
Christian Scheideier ◽  
Volker Stemann
Keyword(s):  
Shared Memory ◽  
Speed Up

Growing context-sensitive languages and Church-Rosser languages

1995 ◽  
pp. 313-324 ◽  
Author(s):  
Gerhard Buntrock ◽  
Friedrich Otto
Keyword(s):  
Context Sensitive
Load More ...
Sign in / Sign up

Export Citation Format

Share Document