close
1.

図書
図書
1. Constraint programming : basics and trends : 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers (: gw)
Andreas Podelski, (ed.)
出版情報: Berlin : Springer-Verlag, c1995  ix, 316 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 910
所蔵情報: loading…
2.

図書
図書
2. 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
所蔵情報: loading…
目次情報: 続きを見る
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
3.

電子ブック
ＥＢ
3. Verification, Model Checking, and Abstract Interpretation
Byron Cook, Takeo Kanade, Andreas Podelski
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
4.

図書
図書
4. Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 : proceedings
Kurt Jensen, Andreas Podelski (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xiv, 608 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2988
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Constraint Programming: Basics and Trends
Podelski, Andreas Podelski
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1995
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Tools and Algorithms for the Construction and Analysis of Systems
TACAS 2004, Kurt Jensen, Andreas Podelski
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2004
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Verification, Model Checking, and Abstract Interpretation
Byron Cook, Takeo Kanade, Andreas Podelski
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Verified Software: Theories, Tools, Experiments
David Hutchison, Takeo Kanade, Peter Müller, Andreas Podelski
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼