CAAP'83 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

26
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540127277, 9783540387145
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Structured theories in LCF

1983 ◽  
pp. 377-391 ◽  
Author(s):  
D. T. Sannella ◽  
R. M. Burstall

Probabilistic analysis of graph colouring algorithms

1983 ◽  
pp. 332-340
Author(s):  
A. Marchetti-Spaccamela ◽  
M. Talamo
Keyword(s):  
Probabilistic Analysis ◽  
Graph Colouring

Topological bandwidth

1983 ◽  
pp. 317-331 ◽  
Author(s):  
F. S. Makedon ◽  
C. H. Papadimitriou ◽  
I. H. Sudborough

Characterizing specification languages which admit initial semantics

1983 ◽  
pp. 300-316 ◽  
Author(s):  
B. Mahr ◽  
J. A. Makowsky
Keyword(s):  
Specification Languages

Complete sets of unifiers and matchers in equational theories

1983 ◽  
pp. 205-220 ◽  
Author(s):  
François Fages ◽  
Gérard Huet
Keyword(s):  
Equational Theories ◽  
Complete Sets

Completeness results for a polymorphic type system

1983 ◽  
pp. 179-190 ◽  
Author(s):  
M. Coppo ◽  
E. Giovannetti
Keyword(s):  
Type System ◽  
Polymorphic Type

Generalized heterogeneous algebras and partial interpretations

1983 ◽  
pp. 1-34 ◽  
Author(s):  
Manfred Broy ◽  
Martin Wirsing

VLSI mesh of trees for data base processing

1983 ◽  
pp. 155-166 ◽  
Author(s):  
M. A. Bonuccelli ◽  
E. Lodi ◽  
F. Luccio ◽  
P. Maestrini ◽  
L. Pagli
Keyword(s):  
Data Base ◽  
Mesh Of Trees

Alternating tree automata

1983 ◽  
pp. 392-404 ◽  
Author(s):  
Giora Slutzki
Keyword(s):  
Tree Automata ◽  
Alternating Tree Automata
Load More ...
Sign in / Sign up

Export Citation Format

Share Document