✦ LIBER ✦

A note on a canonical theory with undecidable unification and matching problem

✍ Scribed by Alexander Bockmayr

Publisher: Springer Netherlands
Year: 1987
Tongue: English
Weight: 132 KB
Volume: 3
Category: Article
ISSN: 0168-7433
DOI: 10.1007/bf00247435

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The undecidability of the unification an

The undecidability of the unification and matching problem for canonical theories

✍ Stephan Heilbrunner; Steffen Hölldobler 📂 Article 📅 1987 🏛 Springer-Verlag 🌐 English ⚖ 662 KB

On a certain basis of operators and pred

On a certain basis of operators and predicates with an undecidable emptiness problem

✍ G. N. Petrosyan 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 484 KB

A note on a scheduling problem with dual

A note on a scheduling problem with dual criteria

✍ Hamilton Emmons 📂 Article 📅 1975 🏛 John Wiley and Sons 🌐 English ⚖ 112 KB 👁 1 views

On a personal note the problem with fami

On a personal note the problem with familiar rituals

✍ Miriam Carver 📂 Article 📅 2005 🏛 John Wiley and Sons ⚖ 257 KB 👁 1 views

A note on stable sets, groups, and theor

A note on stable sets, groups, and theories with NIP

✍ Alf Onshuus; Ya'acov Peterzil 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 152 KB 👁 1 views

## Abstract Let __M__ be an arbitrary structure. Then we say that an __M__ ‐formula __φ__ (__x__) __defines a stable set in__ __M__ if every formula __φ__ (__x__) ∧ __α__ (__x__, __y__) is stable. We prove: If __G__ is an __M__ ‐definable group and every definable stable subset of __G__ has __U__ ‐

A note on exterior Dirichlet problems an

A note on exterior Dirichlet problems and an application to boundary layer theory

✍ Paul Fife 📂 Article 📅 1965 🏛 Elsevier Science 🌐 English ⚖ 936 KB