𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 154 || Power domains and predicate transformers: A topological view

✍ Scribed by Diaz, Josep

Book ID
111912039
Publisher
Springer-Verlag
Year
1983
Weight
748 KB
Category
Article

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Auto
[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 3580 || Congruences for Visibly Pushdown Languages
✍ Caires, LuΓ­s; Italiano, Giuseppe F.; Monteiro, LuΓ­s; Palamidessi, Catuscia; Yung πŸ“‚ Article πŸ“… 2005 πŸ› Springer Berlin Heidelberg 🌐 German βš– 175 KB

The 32nd International Colloquium On Automata, Languages And Programming (icalp 2005) Was Held In Lisbon, Portugal From July 11 To July 15, 2005. These Proceedings Contain All Contributed Papers Presented At Icalp 2005, - Getherwiththepapersbytheinvitedspeakersgiuseppecastagna(ens),leonid Libkin (to