عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3540108289
شابک
3540387161
شابک
9783540108283
شابک
9783540387169
شماره کتابشناسی ملی
شماره
b565213
عنوان و نام پديدآور
عنوان اصلي
CAAP '81 :
نام عام مواد
[Book]
ساير اطلاعات عنواني
trees in algebra and programming, 6th Colloquium, Genoa, March 5-7, 1981, proceedings
نام نخستين پديدآور
ed. by E. Astesiano and C. Böhm.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
1981
مشخصات ظاهری
نام خاص و کميت اثر
(VI, 364 pages)
فروست
عنوان فروست
Lecture notes in computer science, 112.
یادداشتهای مربوط به مندرجات
متن يادداشت
Algebraic theory of parameterized specifications with requirements --; A modal characterisation of observable machine-behaviour --; Trees as data and file structures --; Infinitary relations --; Full approximability of a class of problems over power sets --; How to compute generators for the intersection of subgroups in free groups --; Abstract data types and rewriting systems : Application to the programming of Algebraic Abstract Data Types in PROLOG --; Top-down tree-transducers for infinite trees I --; Easy solutions are hard to find --; Une semantique pour les arbres non deterministes --; On the algebraic specification of nondeterministic programming languages --; Applied tree enumerations --; Evaluation d'arbre pour un calcul formel (application a l'enumeration de proteines) --; On pushdown tree automata --; Initial and terminal algebra semantics of parameterized abstract data type specifications with inequalities --; Calcul du rang des?-arbres infinis regulers --; A class of tree-like UNION-FIND data structures and the nonlinearity --; Grammars without erasing rules. the OI case --; Proprietes de cloture d'une extension de transducteurs d'arbres deterministes --; Certain algorithms for subgraph isomorphism problems --; A # P-complete problem over arithmetical trees --; Trees in Kripke models and in an intuitionistic refutation system --; Efficient optimization of monotonic functions on trees --; Differents types de derivations infinies dans les grammaires algebriques d'arbres --; Discriminability of infinite sets of terms in the D?-models of the?-calculus.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Computer software.
موضوع مستند نشده
Grafentheorie.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
ed. by E. Astesiano and C. Böhm.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
C Böhm
مستند نام اشخاص تاييد نشده
E Astesiano
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
