STACS 89 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

37
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer-Verlag

3540508406
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Observational implementations

2005 ◽  
pp. 59-71 ◽  
Author(s):  
Rolf Hennicker

A proof system for type theory and CCS

2005 ◽  
pp. 539-540
Author(s):  
O. Schelén ◽  
N. O. Forsgren
Keyword(s):  
Type Theory ◽  
Proof System

Complete problems and strong polynomial reducibilities

2005 ◽  
pp. 240-250 ◽  
Author(s):  
K. Ganesan ◽  
Steven Homer
Keyword(s):  
Complete Problems

The query topology in logic programming

2005 ◽  
pp. 375-387 ◽  
Author(s):  
Aida Batarekh ◽  
V. S. Subrahmanian
Keyword(s):  
Logic Programming

scholarly journals On genuinely time bounded computations

2005 ◽  
pp. 1-16 ◽  
Author(s):  
Friedhelm Meyer auf der Heide

Polynomial graph-colorings

2005 ◽  
pp. 108-119 ◽  
Author(s):  
Wolfgang Gutjahr ◽  
Emo Welzl ◽  
Gerhart Woeginger
Keyword(s):  
Graph Colorings

Amore: A system for computing automata, MOnoids, and regular expressions

2005 ◽  
pp. 537-538 ◽  
Author(s):  
V. Kell ◽  
A. Maier ◽  
A. Potthoff ◽  
W. Thomas ◽  
U. Wermuth
Keyword(s):  
Regular Expressions
Load More ...
Sign in / Sign up

Export Citation Format

Share Document