CAAP '88 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

18
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer-Verlag

354019021x
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On counting and approximation

2005 ◽  
pp. 40-51 ◽  
Author(s):  
Johannes Köbler ◽  
Uwe Schöning ◽  
Jacobo Toran

Interval logics and sequential transducers

2005 ◽  
pp. 244-257
Author(s):  
Max Michel ◽  
Jean-Bernard Stefani

Equational completion in order-sorted algebras extended abstract

2005 ◽  
pp. 165-184 ◽  
Author(s):  
Isabelle Gnaedig ◽  
Claude Kirchner ◽  
Hélène Kirchner

Proving systolic arrays

2005 ◽  
pp. 185-199
Author(s):  
E. Pascal Gribomont
Keyword(s):  
Systolic Arrays
Load More ...
Sign in / Sign up

Export Citation Format

Share Document