検索結果 47 件
紙図書
国立国会図書館
- 件名Rewriting systems (Computer science) --...
- 一般注記Abstracts and papers.
- 著者標目... Conference on Rewriting Techniques and Applications (18th : 2007 : Paris, France)
紙図書
国立国会図書館
- 一般注記An abstract and selected papers.
紙図書
国立国会図書館
- 件名Rewriting systems (Computer science) --...
- 著者標目... Conference on Rewriting Techniques and Applications (17th : 2006 : Seattle, Wash....
紙図書
全国の図書館
- 一般注記Includes bibliographical references and index
- 著者標目International Conference on Rewriting Techniques and Applications Baader, Franz
紙図書
全国の図書館
- 一般注記Includes bibliographical references and index
- 著者標目International Conference on Rewriting Techniques and Applications Pfenning, Frank
紙図書
全国の図書館
- 一般注記Includes bibliographical references and index
- 著者標目International Conference on Rewriting Techniques and Applications Giesl, Jürgen
デジタル文書・図像類
全国の図書館
- 一般注記...の基本正規化定理を得た。 : Term rewriting is a fundament......heorem proving and algebraic spec...... languages. In applications, deduction or ......in the area of rewriting. The main outc......pair analysis, and E-unification. As applications of confluence ......eorem proving, and also (3) a bas...... form of basic terms. 若手研究(B) 研究期間.......ac.jp/dspace/handle/10119/13678
- 並列タイトル等(連結)Confluence Analysis for Term Rewriting and Its Applications
- 並列タイトル等Confluence Analysis for Term Rewriting and Its Applications
紙デジタル博士論文障害者向け資料あり
インターネットで読める国立国会図書館
- 目次・記事...is 1.4 Dynamic Term Rewriting Calculus 1.5 Applications of DTRC 1.6 Pr......esis 2 Dynamic Term Rewriting Calculus 2.1 Syntax 2.2 Opera...
デジタル記事
全国の図書館
- 件名Computational Mathematics Algebra and Number Theory
- 参照...ompleteness of Term Rewriting Systems Increm......ntal Proofs of Termination, Confluence and Sufficient Completeness of OB...
- 参照...s of OBJ2 Flaw and modification o......text-Sensitive Rewriting Strategies The......t-completeness and related properties of term rewriting systems Ground......mally modeling and verifying Rica...... in functional and functional log......cifications Mu-term: A tool for proving termination of context-sensitive rewriting Formal analysi...... specification Term Rewriting Systems
デジタル記事
全国の図書館
- 件名Term rewriting system Algebraic specificatio...
- 一般注記... of symbols in term rewriting systems (TRSs)...... for functions and those for cons...... a model, each term constructed by......te an element, and functions are ......se elements. A term rewriting system provide......Given a TRS, a term is called redu......An irreducible term can be regarde......ducible if any term containing the......text-sensitive rewriting, which is a si......restriction of rewriting, can be obtain......estricting the terms on the basis .......ac.jp/dspace/handle/10119/9892
記事
全国の図書館
記事
全国の図書館
- 要約等... of symbols in term rewriting systems (TRSs)...... for functions and those for cons...... a model, each term constructed by......te an element, and functions are ......se elements. A term rewriting system provide......Given a TRS, a term is called redu......An irreducible term can be regarde......ducible if any term containing the......text-sensitive rewriting, which is a si......restriction of rewriting, can be obtain......estricting the terms on the basis of variable occ...
- 件名...nsition system Term rewriting system
記事
全国の図書館
記事
全国の図書館
- 要約等... of symbols in term rewriting systems (TRSs)...... for functions and those for cons...... a model, each term constructed by......te an element, and functions are ......se elements. A term rewriting system provide......Given a TRS, a term is called redu......An irreducible term can be regarde......ducible if any term containing the......text-sensitive rewriting, which is a si......restriction of rewriting, can be obtain......estricting the terms on the basis of variable occ...
- 件名...nsition system Term rewriting system
デジタル記事
全国の図書館
- 件名...nsition system Term rewriting system
- 一般注記... of symbols in term rewriting systems (TRSs)...... for functions and those for cons...... a model, each term constructed by......te an element, and functions are ......se elements. A term rewriting system provide......Given a TRS, a term is called redu......An irreducible term can be regarde......ducible if any term containing the......text-sensitive rewriting, which is a si......restriction of rewriting, can be obtain......estricting the terms on the basis of variable occ...
記事
全国の図書館
記事
全国の図書館
記事
全国の図書館
- 要約等For nonlinear term rewriting systems(TRSs),...... been proposed and some sufficien......rite rules α→β and α'→β' in R such that α and some subterm of α' are unif...... two rules α→β and α'→β' in R suc......ble to some subterm of α' or β' mo......osser property and E-unification for subclasses ...
デジタル記事
インターネットで読める全国の図書館