UID:
almafu_9959186100202883
Format:
1 online resource (X, 418 p.)
Edition:
1st ed. 1983.
Edition:
Online edition Springer Lecture Notes Archive ; 041142-5
ISBN:
3-540-38714-5
Series Statement:
Lecture Notes in Computer Science, 159
Note:
Bibliographic Level Mode of Issuance: Monograph
,
Generalized heterogeneous algebras and partial interpretations -- Applicative information systems -- Acyclic database schemes (of various degrees): A painless introduction -- Efficient algorithms for finding maximal matching in graphs -- A survey of NLC grammars -- Prefix and perfect languages -- Some equivalence results for free choice nets and simple nets and on the periodicity of live free choice nets -- VLSI mesh of trees for data base processing -- Continuite des transducteurs d'etats finis d'arbres -- Completeness results for a polymorphic type system -- A class of program schemes based on tree rewriting systems -- Complete sets of unifiers and matchers in equational theories -- Digital search trees and the generation of an exponentially distributed variate -- Decidable properties of monadic recursive schemas with a depth parameter -- Nivat-processing systems: Decision problems related to protection and synchronization -- Confluent and coherent equational term rewriting systems application to proofs in abstract data types -- An application of maximum bipartite c-matching to subtree isomorphism' -- Characterizing specification languages which admit initial semantics -- Topological bandwidth -- Probabilistic analysis of graph colouring algorithms -- Some further approximation algorithms for the vertex cover problem -- An application of the theory of graphs and hypergraphs to the decomposition of relational database schemes -- Remarks on the pyramidal structure -- Structured theories in LCF -- Alternating tree automata -- Cofinality in reduction graphs.
,
English
In:
Springer eBooks
Additional Edition:
ISBN 3-540-12727-5
Language:
English
DOI:
10.1007/3-540-12727-5
URL:
http://dx.doi.org/10.1007/3-540-12727-5
URL:
http://dx.doi.org/10.1007/3-540-12727-5
URL:
http://dx.doi.org/10.1007/3-540-12727-5
