CAAP '81

Trees in Algebra and Programming /6th Colloquium, Genoa, March 5-7, 1981. Proceedings

Häftad, Engelska, 1981

AvE. Astesiano,C. Böhm

699 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1981-06-01
Mått155 x 233 x undefined mm
Vikt458 g
FormatHäftad
SpråkEngelska, Franska
SerieLecture Notes in Computer Science
Antal sidor365
Upplaga1981
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540108283

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Programmeringsböcker inom Data och it
Matematik inom Naturvetenskap och teknik

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.

Du kanske också är intresserad av

λ-Calculus and Computer Science Theory

λ-Calculus and Computer Science Theory

C. Böhm, C. Bahm, C. Bohm

699 kr

Automata, Languages and Programming

Automata, Languages and Programming

G. Ausiello, C. Böhm

699 kr

Liken vi begravde

Bokrea

Liken vi begravde

119 kr329 kr

Lucia är död

Bokrea

Del 3

Lucia är död

Katarina Wennstam

99 kr289 kr

Sagor, hyss & äventyr

Bokrea

Sagor, hyss & äventyr

Astrid Lindgren

149 kr379 kr

Mina vänner

Bokrea

Mina vänner

Fredrik Backman

119 kr319 kr

Den yttersta hemligheten

Bokrea

Del 6

Den yttersta hemligheten

149 kr329 kr

Mera fart Mamma Mu

Bokrea

Mera fart Mamma Mu

Jujja Wieslander

89 kr189 kr

Fars rygg

Bokrea

Fars rygg

Niels Fredrik Dahl

99 kr329 kr

Väninnorna på Nordiska Kompaniet

Bokrea

Del 2

Väninnorna på Nordiska Kompaniet

Ruth Kvarnström-Jones

89 kr339 kr