✦ LIBER ✦

Rewriting in the partial algebra of typed terms modulo AC

✍ Scribed by Thomas Colcombet

Book ID: 108498292
Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 197 KB
Volume: 68
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80532-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The ∃*∀* Part of the Theory of Ground Te

The ∃*∀* Part of the Theory of Ground Term Algebra Modulo an AC Symbol is Undecidable

✍ Jerzy Marcinkowski 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 96 KB

Monads and algebras in the semantics of

Monads and algebras in the semantics of partial data types

✍ Philip S. Mulry 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 901 KB

[Lecture Notes in Computer Science] Term

[Lecture Notes in Computer Science] Term Rewriting and Applications Volume 3467 || The Algebra of Equality Proofs

✍ Giesl, Jürgen 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 250 KB

This Volume Contains The Proceedings Of The 16th International Conference On Rewriting Techniques And Applications (rta2005),whichwasheldonapril19– 21, 2005, At The Nara-ken New Public Hall In The Center Of The Nara National Park In Nara, Japan. Rta Is The Major Forum For The Presentation Of Researc

PDB5 LONG-TERM CONSEQUENCES FOR THE TREA

PDB5 LONG-TERM CONSEQUENCES FOR THE TREATMENT OF HYPERTENSIVE DIABETES TYPE 2 PATIENTS WITH A FIXED COMBINATION OF AN ACE-INHIBITOR AND NON-DIHYDROPYRIDINE-CALCIUM-CHANNELBLOCKER IN COMPARISON TO OTHER COMBINATION THERAPIES

✍ S Maxion-Bergemann; W Wittenberg; R Bergemann 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 82 KB