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

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

scholarly journals A set-theoretic translation method for (poly)modal logics

1995 ◽  
pp. 217-228 ◽  
Author(s):  
Giovanna D'Agostino ◽  
Angelo Montanari ◽  
Alberto Policriti
Keyword(s):  
Modal Logics ◽  
Translation Method
Load More ...
Sign in / Sign up

Export Citation Format

Share Document