... ageless forever” (115). Souls remain alive after death “unharmed within the deceased” ( κριοι ν φθιμνοισιν), an expression which, if taken literally, seems at odds with the armation that “the air has received the spirit” ( ρ δ'ν πνεμα δ ...
Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II
... Kleinberg, J.M., Tardos, ́E., Wexler, T., Roughgarden, T.: The price of stability for network design ... design with selfish agents. Theory of Computing 4, 77–109 (2008) 5 ... Algorithm design. Addison-Wesley, Boston (2005) Koutsoupias, E ...
Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
... sim invariants that hold whenever the play is in the sim gadget (in all ... 2 while |gc | is incremented by 1 (and similar arguments can be applied for ... cheats a zero-test, then player 2 invokes a blame gadget. If the sim invariants ...
Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings
... R : A → B be an arrow in RL . We say that R is linear iff it satisfies aRb a € α.aRb . So a linear arrow is fully determined by its values on singletons . As can be readily verified ( e.g. using proposition 6.1 ) RL is a wCCC and hence ...
This website uses cookies and collects data for optimal performance. Your continued use signifies agreement to our Privacy Policy.
