𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Independence structures in the geometry of orders

✍ Scribed by N. D. Lane; P. Scherk; J. M. Turgeon

Publisher
Springer
Year
1987
Tongue
English
Weight
211 KB
Volume
34
Category
Article
ISSN
0001-9054

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Forms of the Pasch axiom in ordered geom
Forms of the Pasch axiom in ordered geometry
✍ Victor Pambuccian πŸ“‚ Article πŸ“… 2010 πŸ› John Wiley and Sons 🌐 English βš– 88 KB πŸ‘ 1 views

## Abstract We prove that, in the framework of ordered geometry, the inner form of the Pasch axiom (**IP**) does not imply its outer form (**OP**). We also show that **OP** can be properly split into **IP** and the weak Pasch axiom (**WP**) (Β© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

Data Independence of Read, Write, and Co
Data Independence of Read, Write, and Control Structures in PRAM Computations
✍ Klaus-JΓΆrn Lange; Rolf Niedermeier πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 322 KB

We introduce the notions of control and communication structures in PRAM computations and relate them to the concept of data independence. Our main result is to characterize differences between unbounded fan-in parallelism AC k , bounded fan-in parallelism NC k , and the sequential classes DSPACE(lo