Tree automata and languages

>> Google Books

所蔵情報QRコード

Tree automata and languages / edited by Maurice Nivat, Andreas Podelski

資料種別:

図書

出版情報:

Amsterdam : North-Holland, 1992

形態:

viii, 485 p. ; 25 cm

シリーズ名:

Studies in computer science and artificial intelligence ; 10 <BA0006969X>

著者名:

ISBN:

9780444890269 [0444890262]

書誌ID:

BA1867216X

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Includes bibliographical references

主題:

Programming languages (Electronic computers); Sequential machine theory; Trees (Graph theory)

言語:

英語

目次情報:

Binary Tree Codes / M. Nivat

Suffix, Prefix and Maximal Tree Codes / P. Aigrain

A Monoid Approach to Tree Automata / A. Podelski

A Theory of Tree Language Varieties / M. Steinby

Interpretability and Tree Automata: A Simple Way to Solve Algorithmic Problems on Graphs Closely Related to Trees / D. Seese

Computing Trees with Graph Rewriting Systems with Priorities / I. Litovsky ; Y. Metivier

Recognizable Sets of Unrooted Trees / B. Courcelle

Fixed Point Characterization of Weak Monadic Logic Definable Sets of Trees / A. Arnold ; D. NiwiDski

Automata on Infinite Trees and Rational Control / A. Saoudi ; P. Bonizzoni

Recognizing Sets of Labelled Acyclic Graphs / P. Bonizzoni et al.

Rational and Recognizable Infinite Tree Sets

Algebraic Specification of Action Trees and Recursive Processes / M. GroÃŸe-Rhode ; C. Dimitrovici

Trees and Algebraic Semantics / I. Guessarian

A Survey of Tree Transductions / J.C. Raoult

Structural Complexity of Classes of Tree Languages / M. Dauchet ; S. Tison

Ambiguity and Valuedness / H. Seidl

Decidability of the Inclusion in Monoids Generated by Tree Transformation Classes / Z. Fulop ; S. Vagvolgyi

Tree-adjoining Grammars and Lexicalized Grammars / A.K. Joshi ; Y. Schabes

A Short Proof of the Factorization Forest Theorem / I. Simon

Unification Procedures in Automated Deduction Methods based on Matings: A Survey / J.H. Gallier

Binary Tree Codes / M. Nivat

Suffix, Prefix and Maximal Tree Codes / P. Aigrain

A Monoid Approach to Tree Automata / A. Podelski

A Theory of Tree Language Varieties / M. Steinby

Interpretability and Tree Automata: A Simple Way to Solve Algorithmic Problems on Graphs Closely Related to Trees / D. Seese

Computing Trees with Graph Rewriting Systems with Priorities / I. Litovsky ; Y. Metivier

続きを見る

ブックレビュー

類似資料:

1 図書 Tree automata Gécseg, Ferenc, 1939-, Steinby, Magnus Akadémiai Kiadó	7 図書 Classification and regression trees (pbk.) Breiman, Leo Wadsworth International Group
2 図書 Definition of programming languages by interpreting automata Ollongren, Alexander Academic Press	8 図書 Classification and regression trees (: pbk) Breiman, Leo Chapman & Hall/CRC
3 図書 Automata, languages, and machines (v. A ; v. B) Eilenberg, Samuel, Tilson, Bret Academic Press	9 図書 A universal construction for groups acting freely on real trees (: hardback) Chiswell, Ian, Müller, Thomas Cambridge University Press
4 図書 Trees (: us ; : gw) Serre, Jean Pierre Springer-Verlag	10 図書 Graph theory for programmers : algorithms for processing trees Kasyanov, Victor N., Evstigneev, Vladimir A. Kluwer Academic Publishers
5 図書 Theory of computation Brainerd, Walter S., Landweber, Lawrence H. Wiley	11 電子ブック Automata on Infinite Words Nivat SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 図書 Tree lattices (: us ; : sz) Bass, Hyman, 1932-, Lubotsky, Alexander, 1956- Birkhäuser	12 図書 Automata, languages and programming : proceedings of a symposium organized by IRIA, Institut de recherche d'informatique et d'automatique, 78-Rocquencourt, … (us ; ne) Nivat, Maurice, Institut de recherche d'informatique et d'automatique North-Holland Pub. Co, American Elsevier