𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Ω-stability theorem for flows

✍ Scribed by Charles Pugh; Michael Shub

Publisher
Springer-Verlag
Year
1970
Tongue
English
Weight
412 KB
Volume
11
Category
Article
ISSN
0020-9910

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Completeness Theorems for Temporal Logic
Completeness Theorems for Temporal Logics TΩ and □TΩ
✍ Hiroya Kawai 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 318 KB

COMPLETENESS THEOREMS FOR TEMPORAL LOGICS T, AND OT, by HIROYA KAWAI in Osaka (Japan)') l ) The author would like t o express his sincere thanks to Professor T. NISHIJIWRA of Tsukuba University.