𝔖 Bobbio Scriptorium
✦   LIBER   ✦

About the expressive power of CTL combinators

✍ Scribed by F. Laroussinie

Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
295 KB
Volume
54
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

ON THE EXPRESSIVE POWER OF THE LOGICS L(
ON THE EXPRESSIVE POWER OF THE LOGICS L(QΞ±n1,…,nm)
✍ Andreas Rapp πŸ“‚ Article πŸ“… 1984 πŸ› John Wiley and Sons 🌐 English βš– 576 KB

ON THE EXPRESSIVE POWER O F THE LOGICS L ( Q P ~\* . -. S " ~) ) by AXDREAS RAPP in Freiburg (G.F.R.)') ''i 5 m ~( i ) ' t then L(Q) 5 L(Q'). I) I. would like to thank H.-D. EBBINQHAUS, J. FLUM and W. THOMAS for helpful discuesions.