𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A model for computing rational algebraicK-theory of simply connected spaces

✍ Scribed by W. -c. Hsiang; R. E. Staffeldt


Publisher
Springer-Verlag
Year
1982
Tongue
English
Weight
611 KB
Volume
68
Category
Article
ISSN
0020-9910

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A polynomial space construction of tree-
✍ StΓ©phane Demri πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 360 KB

The LA-logics ("logics with Local Agreement") are polymodal logics deΓΏned semantically such that at any world of a model, the sets of successors for the di erent accessibility relations can be linearly ordered and the accessibility relations are equivalence relations. In a previous work, we have sho