𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A decidability result in algebraic language theory

✍ Scribed by Robert Townsend


Publisher
Springer
Year
1974
Tongue
English
Weight
215 KB
Volume
8
Category
Article
ISSN
1433-0490

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


A Result in Dual Ramsey Theory
✍ Lorenz Halbeisen; Pierre Matet 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 86 KB

We start by introducing some notation. We conform to the usual practice of identifying the least infinite ordinal o with the set of non-negative integers. Given a; b4o; a partition of a into b blocks is an onto function X : a ! b such that minðX À1 ðfngÞÞominðX À1 ðfmgÞÞ whenever nomob: Thus, the b

A remark on a compactness result in elec
✍ Karl J. Witsch 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 281 KB

## Abstract Calderon's extension theorem is a crucial tool in the proof of the compactneσs of the resolvent for the Maxwell operator, and whence this result is proved for domains with the strict cone property. However, the proof only requires an extension operator that extends __W__^2,2^‐functions