回到首頁
|刊登類別：
|
加入追蹤清單

第 1/1 張圖片

Rewriting Techniques and Applications: 10th International Conference, RTA'99, Tr - 第 1/1 張圖片
有類似物品要出售？
自己賣

Rewriting Techniques and Applications: 10th International Conference, RTA'99, Tr

狀況：
全新
庫存 3 件
價格：
US $67.88
大約HK$ 529.84
運費：
免費 Economy Shipping. 查看詳情— 運送
所在地：Fairfield, Ohio, 美國
送達日期：
估計於 7月10日, 三至 7月20日, 六之間送達 運送地點 43230
估計送達日期 — 會在新視窗或分頁中開啟考慮到賣家的處理時間、寄出地郵遞區碼、目的地郵遞區碼、接收包裹時間，並取決於所選的運送方式以及收到全部款項全部款項 — 會在新視窗或分頁中開啟的時間。送達時間會因時而異，尤其是節日。
退貨：
30 日退貨. 由買家支付退貨運費. 查看詳情- 更多退貨相關資訊
保障：
請參閱物品說明或聯絡賣家以取得詳細資料。閱覽全部詳情查看保障詳情
（不符合「eBay 買家保障方案」資格）

安心購物

高度評價賣家
值得信賴的賣家，發貨快，輕鬆退貨。 
進一步了解- 超高度評價 — 會在新視窗或分頁中開啟

賣家資料

註冊為商業賣家
檢舉物品 — 會在新視窗或分頁中開啟
賣家必須承擔此刊登物品的所有責任。
eBay 物品編號：395149776340
上次更新時間： 2024-05-19 17:23:06查看所有版本查看所有版本

物品細節

物品狀況
全新: 全新，未閱讀過和使用過的書籍，狀況完好，不存在缺頁或內頁受損。 查看所有物品狀況定義會在新視窗或分頁中開啟
ISBN-13
9783540662013
Book Title
Rewriting Techniques and Applications
ISBN
9783540662013
Subject Area
Computers, Mathematics
Publication Name
Rewriting Techniques and Applications : 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings
Publisher
Springer Berlin / Heidelberg
Item Length
9.3 in
Subject
Programming / General, Computer Science, Intelligence (Ai) & Semantics, Algebra / General, Compilers
Publication Year
1999
Series
Lecture Notes in Computer Science Ser.
Type
Textbook
Format
Trade Paperback
Language
English
Author
Michael Rusinowitch
Item Weight
45.5 Oz
Item Width
6.1 in
Number of Pages
Xii, 408 Pages

關於產品

Product Information

This volume contains the proceedings of the 10th International Conference on RewritingTechniques andApplicationsheldfromJuly2-4,1999inTrento, Italy, as part of the Federated Logic Conference (FLoC'99). The RTAconferences are dedicated to all aspects of term, string and graph rewriting as well as their applications such as lambda calculi, theorem-proving, functional programming, decision procedures. The program committee selected 23 papers as well as 4 system descriptions from 53 submissions of overall high quality (46 regular papers and 7 systems descriptions). The papers cover awide range of topics: constraint solving, ter- nation, deductionandhigher-orderrewriting, graphs, complexity, tree automata, context-sensitive rewriting, string rewriting and numeration systems::: by - thors from countries including: France, Germany, India, Israel, Italy, Japan, The Netherlands, Poland, Portugal, Spain, USA. B. Courcelle (Univ. Bordeaux) and F. Otto (Univ. Kassel) presented - vited talks, on graph grammars and connections between rewriting and formal language theory respectively. F. van Raamsdonk (CWI, Amsterdam) gave an invited tutorial on higher-order rewriting. Wewouldliketothanktheexternalreviewersfortheircontributiontoprep- ing the program and Horatiu Cirstea for his help in maintaining the web server of the program committee.

Product Identifiers

Publisher
Springer Berlin / Heidelberg
ISBN-10
3540662014
ISBN-13
9783540662013
eBay Product ID (ePID)
154327421

Product Key Features

Number of Pages
Xii, 408 Pages
Language
English
Publication Name
Rewriting Techniques and Applications : 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings
Publication Year
1999
Subject
Programming / General, Computer Science, Intelligence (Ai) & Semantics, Algebra / General, Compilers
Type
Textbook
Subject Area
Computers, Mathematics
Author
Michael Rusinowitch
Series
Lecture Notes in Computer Science Ser.
Format
Trade Paperback

Dimensions

Item Weight
45.5 Oz
Item Length
9.3 in
Item Width
6.1 in

Additional Product Features

Intended Audience
Scholarly & Professional
LCCN
99-034032
Dewey Edition
21
Series Volume Number
1631
Number of Volumes
1 Vol.
Illustrated
Yes
Dewey Decimal
005.13/1
Lc Classification Number
Qa76.76.C65
Table of Content
Session 1.- Solved Forms for Path Ordering Constraints.- Jeopardy.- Strategic Pattern Matching.- Session 2:.- On the Strong Normalization of Natural Deduction with Permutation-Conversions.- Normalisation in Weakly Orthogonal Rewriting.- Strong Normalization of Proof Nets Modulo Structural Congruences.- Session 3: Invited Talk.- Hierarchical Graph Decompositions Defined by Grammars and Logical Formulas.- Session 4:.- Undecidability of the Part of the Theory of Ground Term Algebra Modulo an AC Symbol.- Deciding the Satisfiability of Quantifier Free Formulae on One-Step Rewriting.- A New Result about the Decidability of the Existential One-Step Rewriting Theory.- Session 5:.- A Fully Syntactic AC-RPO.- Theory Path Orderings.- A Characterisation of Multiply Recursive Functions with Higman's Lemma.- Session 6:.- Deciding the Word Problem in the Union of Equational Theories Sharing Constructors.- Normalization via Rewrite Closures.- Test Sets for the Universal and Existential Closure of Regular Tree Languages.- Session 7: Invited Tutorial.- Higher-Order Rewriting.- Session 8: System Descriptions.- The Maude System.- TOY: A Multiparadigm Declarative System.- UniMoK: A System for Combining Equational Unification Algorithms.- : A Laboratory for Rapid Term Graph Rewriting.- Session 9:.- Decidability for Left-Linear Growing Term Rewriting Systems.- Transforming Context-Sensitive Rewrite Systems.- Context-Sensitive AC-rewriting.- Session 10:.- The Calculus of Algebraic Constructions.- HOL-??: An Intentional First-Order Expression of Higher-Order Logic.- Session 11: Invited Talk.- On the Connections between Rewriting and Formal Language Theory.- Session 12:.- A Rewrite System Associated with Quadratic Pisot Units.- Fast Rewriting of Symmetric Polynomials.- OnImplementation of Tree Synchronized Languages.
Copyright Date
1999

賣家提供的物品說明

grandeagleretail

grandeagleretail

98.3% 正面信用評價
已賣出 270.53 萬 件物品
瀏覽商店聯絡
通常在 24 小時內回覆

詳盡賣家評級

過去 12 個月的平均評級

說明準確
4.9
運費合理
5.0
運送速度
4.9
溝通
4.9

此商店的熱門類別

查看全部類別
The ArtsBiography & True StoriesChildren's & Young AdultComputing & ITEarth Sciences & GeographyFinance, Econ, Business & MgtFictionHealth & Personal DevelopmentHumanities

賣家信用評價 （1,025,726）

9***v (326)- 買家留下的信用評價。
過去 1 個月
購買已獲認證
Thank You So Much!!! Got Here Fast!!!
Red Sky Mourning: A Thriller by Jack Carr（#395476463910）
3***l (13)- 買家留下的信用評價。
過去 1 個月
購買已獲認證
Good
The Gesta Normannorum Ducum of William of Jumiges, Orderic Vitalis, and Robert o（#387014540810）
4***g (1219)- 買家留下的信用評價。
過去 1 個月
購買已獲認證
Great seller - thanks very much!
The Horse: 'Extraordinary.' Ann Patchett by Willy Vlautin Hardcover Book（#386953373593）
查看所有信用評價