عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3540387145
شابک
9783540387145
شماره کتابشناسی ملی
شماره
b565896
عنوان و نام پديدآور
عنوان اصلي
CAAP'83 :
نام عام مواد
[Book]
ساير اطلاعات عنواني
Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9-11, 1983 Proceedings
نام نخستين پديدآور
edited by Giorgio Ausiello, Marco Protasi.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin, Heidelberg
نام ناشر، پخش کننده و غيره
Springer Berlin Heidelberg
تاریخ نشرو بخش و غیره
1983
مشخصات ظاهری
نام خاص و کميت اثر
(X, 418 p. :)
فروست
عنوان فروست
Lecture notes in computer science, 159.
یادداشتهای مربوط به مندرجات
متن يادداشت
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.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer logic.
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Computer Science.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
edited by Giorgio Ausiello, Marco Protasi.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
G Ausiello
مستند نام اشخاص تاييد نشده
Marco Protasi
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
