Results for:
"
Fundamentalism
" in Documents
- FUNDAMENTA MATHEMATICAE
- Atomic compactness for reflexive graphs by Christian D e l h o m m ? (La R?union) Abstract. A first order structure M with universe M is atomic compact if every system of atomic formulas with paramete...
-
Rating:
Views: (1012)
Pages: ()
Uploaded: 22-01-08
- Medicine in 1695: Friederich Hoffmann's Fundamenta Medicinae.
-
Rating:
Views: (1)
Pages: ()
Uploaded: 1969-1-1
- Fundamenta Informaticae 51 2002 1-14 1 IOS Press
- We consider the notion of algorithmic randomness relative to an oracle. We prove that the probability # that a program for infinite computations (a program that never halts) outputs a cofinite set is ...
-
Rating:
Views: (1012)
Pages: ()
Uploaded: 15-05-09
- An Algebra of Data Flows
- . An algebra of processes is proposed in which processes are modelled in terms of data rather than events. Structures representing processes are similar to the labelled event structures of Winskel (19...
-
Rating:
Views: (1008)
Pages: ()
Uploaded: 13-05-09
- Fundamenta Informaticae 51 2002 1-14 1 IOS Press
- We consider the notion of algorithmic randomness relative to an oracle. We prove that the probability # that a program for infinite computations (a program that never halts) outputs a cofinite set is ...
-
Rating:
Views: (1010)
Pages: ()
Uploaded: 13-05-09
- Fundamenta Informaticae AAA 1?35 1 IOS Press Agents that Know How to P...
- Abstract. We look at ways to enrich Alternating-time Temporal Logic (ATL) ? a logic for specification and verification of multi-agent systems ? with a notion of knowledge. Starting point of our study ...
-
Rating:
Views: (1010)
Pages: ()
Uploaded: 13-05-09
- Series VI Fundamenta Informatic? III 1 1980 105?118 Completions of ord...
- Abstract.We give a completion theorem for ordered magmas (i.e. ordered algebras with monotone operations) in a general form. Particular instances of this theorem are already known, and new results fol...
-
Rating:
Views: (1009)
Pages: ()
Uploaded: 22-01-08
- References
- In this paper, we study a trade-off between internal states and communication bits in firing squad synchronization problems on communication-restricted cellular automata and propose several time-optim...
-
Rating:
Views: (1014)
Pages: ()
Uploaded: 22-01-08