65 research outputs found
Von Mord und Totschlag zu Recht und Gesetz : Bemerkungen zu einer harmlosen rechtsgeschichtlichen Provokation von Alan M. Dershowitz
Get PDFHarris v. New York: Some Anxious Observations on the Candor and Logic of the Emerging Nixon Majority
Full text linkThe Generic Model of Computation
Full text linkOver the past two decades, Yuri Gurevich and his colleagues have formulated
axiomatic foundations for the notion of algorithm, be it classical,
interactive, or parallel, and formalized them in the new generic framework of
abstract state machines. This approach has recently been extended to suggest a
formalization of the notion of effective computation over arbitrary countable
domains. The central notions are summarized herein.Comment: In Proceedings DCM 2011, arXiv:1207.682
- …
