BibSonomy :: author  ::

bookmarks

publications

(53)

• Natural deduction via graphs: formal definition and computation rules.
  Herman Geuvers and Iris Loeb Mathematical Structures in Computer Science 17 485-526 (2007)
  to dblp by dblp on 2008-06-19 00:00:00
  | URL | BibTeX  
• Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem.
  Iris Loeb CiE 379-388 (2008)
  to dblp by dblp on 2008-06-18 00:00:00
  | URL | BibTeX  
• Deduction Graphs with Universal Quantification.
  Herman Geuvers and Iris Loeb Electr. Notes Theor. Comput. Sci. 203 93-108 (2008)
  to dblp by dblp on 2008-06-11 00:00:00
  | URL | BibTeX  
• Information security and risk management.
  Lawrence D. Bodin and Lawrence A. Gordon and Martin P. Loeb Commun. ACM 51 64-68 (2008)
  to dblp by dblp on 2008-06-10 00:00:00
  | URL | BibTeX  
• Secure electronic transactions : introduction and technical reference
  {Larry} Loeb (1998)
  to Computersicherheit Rechnernetz by fbw on 2008-05-29 13:24:55
  | URL | BibTeX  
• Managing cybersecurity resources : a cost-benefit analysis
  {Lawrence A.} Gordon and {Martin P.} Loeb (2006)
  to Computersicherheit Kosten-Nutzen-Analyse by fbw on 2008-05-29 13:01:59
  | URL | BibTeX  
• Incentives and public inputs
  Theodore Groves and Martin Loeb Journal of Public Economics 4 211--226 (1975)
  to imported by smicha on 2008-04-28 13:05:01
  | URL | BibTeX  
• Reflections on [`]social costs and benefits and the transfer pricing problem'
  Theodore Groves and Martin Loeb Journal of Public Economics 5 353--359 (1976)
  to imported by smicha on 2008-04-28 13:05:01
  | URL | BibTeX  
• Estimating the effects of school finance reform: a framework for a federalist system
  Susanna Loeb Journal of Public Economics 80 225--247 (2001)
  to School funding by smicha on 2008-04-28 13:05:01
  | URL | BibTeX  
• Dominance refinements of the Smirnov two-sample test
  A. Di Bucchianico and D. E. Loeb Journal of Statistical Planning and Inference 66 51--60 (1998)
  to 62G10 by smicha on 2008-04-23 22:05:04
  | URL | BibTeX