𝔖 Bobbio Scriptorium

✦ LIBER ✦

The reachability and related decision problems for monadic and semi-constructor TRSs

✍ Scribed by Ichiro Mitsuhashi; Michio Oyamaguchi; Toshiyuki Yamada

Book ID: 108153461
Publisher: Elsevier Science
Year: 2006
Tongue: English
Weight: 136 KB
Volume: 98
Category: Article
ISSN: 0020-0190
DOI: 10.1016/j.ipl.2006.02.014

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Generalized Orthogonality Relations for

Generalized Orthogonality Relations for the Flexure of Rectangular Plates and a Cantilever Problem for Semi-Infinite Plates

✍ Rao, B. S. Ramachandra; Prakash, B. G. 📂 Article 📅 1981 🏛 Informa UK (Taylor & Francis) 🌐 English ⚖ 241 KB

The R. E. Complexity of Decision Problem

The R. E. Complexity of Decision Problems for Commutative Semi-Thue Systems With Recursive Rule Set

✍ Egon Börger; Hans Kleine Büning 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 684 KB

A new optimized symmetric 8-step semi-em

A new optimized symmetric 8-step semi-embedded predictor–corrector method for the numerical solution of the radial Schrödinger equation and related orbital problems

✍ G. A. Panopoulos, T. E. Simos 📂 Article 📅 2013 🏛 Springer 🌐 English ⚖ 721 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic and Machines: Decision Problems and Complexity Volume 171 || Recurrence relations for the number of labeled structures on a finite set

✍ Börger, E.; Hasenjaeger, G.; Rödding, D. 📂 Article 📅 1984 🏛 Springer Berlin Heidelberg ⚖ 510 KB

1984 Survey of Books Relating to the Law

1984 Survey of Books Relating to the Law || Making Health Care Decisions: A Report on the Ethical and Legal Implications of Informed Consent in the Patient-Practitioner Relationship, Volume 1by President's Commission for the Study of Ethical Problems in Medicine and Biomedical and Behavioral Research

📂 Article 📅 1984 🏛 University of Michigan Law School 🌐 English ⚖ 151 KB

[IEEE 2009 Joint 48th IEEE Conference on

[IEEE 2009 Joint 48th IEEE Conference on Decision and Control (CDC) and 28th Chinese Control Conference (CCC) - Shanghai, China (2009.12.15-2009.12.18)] Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference - LQR parametrization of static output feedback gains for linear systems with Markovian switching and related robust stabilization and passification problems

✍ Pakshin, Pavel; Peaucelle, Dimitri 📂 Article 📅 2009 🏛 IEEE ⚖ 453 KB