✦ LIBER ✦

Strong Completeness of a Narrowing Calculus for Conditional Rewrite Systems with Extra Variables

✍ Scribed by Mohamed Hamada

Book ID: 104445434
Publisher: Elsevier Science
Year: 2000
Tongue: English
Weight: 898 KB
Volume: 31
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80332-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Narrowing-based simulation of term rewri

Narrowing-based simulation of term rewriting systems with extra variables and its Termination Proof

✍ Naoki Nishida; Masahiko Sakai; Toshiki Sakabe 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 251 KB

Term rewriting systems (TRSs) extended by allowing to contain extra variables in their rewrite rules are called EV-TRSs. They are ill-natured since every one-step reduction by their rules with extra variables is infinitely branching and they are not terminating. To solve these problems, this paper s

A sufficient condition of instability fo

A sufficient condition of instability for dynamical systems with distributed parameters depending on a single spatial variable

✍ P.A. Yakubenko 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 315 KB

Uniqueness conditions for the solution o

Uniqueness conditions for the solution of a cauchy problem for the case of special systems of equations with variable coefficients

✍ N. N. Chaus 📂 Article 📅 1973 🏛 Springer 🌐 English ⚖ 311 KB

Necessary condition for the stabilizabil

Necessary condition for the stabilizability of nonlinear systems with respect to a part of variables in the class of discontinuous controls

✍ A. M. Kovalev; N. V. Kravchenko; V. N. Nespirnyi 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 228 KB

[IEEE International Workshop on Variable

[IEEE International Workshop on Variable Structure Systems, 2006. VSS'06. - Alghero, Italy (June 5-7, 2006)] International Workshop on Variable Structure Systems, 2006. VSS'06. - A Discrete-Time Sliding Mode Observer for Estimation of Auto-Regressive Model Coefficients with an Application in Condition Monitoring

✍ Twiddle, J.A.; Spurgeon, S.K.; Kitsos, C.; Jones, N.B. 📂 Article 📅 2006 🏛 IEEE ⚖ 269 KB