𝔖 Bobbio Scriptorium
✦   LIBER   ✦

SISO Detection Over Linear Channels With Linear Complexity in the Number of Interferers

✍ Scribed by Colavolpe, G.; Fertonani, D.; Piemontese, A.

Book ID
114571677
Publisher
Institute of Electrical and Electronics Engineers
Year
2011
Tongue
English
Weight
614 KB
Volume
5
Category
Article
ISSN
1932-4553

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The complexity of the temporal logic wit
The complexity of the temporal logic with β€œuntil” over general linear time
✍ M. Reynolds πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 350 KB

It is shown that the decision problem for the temporal logic with the strict until operator over general linear time is PSPACE-complete. This shows that it is no harder to reason with arbitrary linear orderings than with discrete linear time temporal logics. New techniques are used to give a PSPACE