BibSonomy :: author  ::

bookmarks

publications

(225)

• Book reviews
  K. Henschke and W. Schmidt and P. H. M{\"U}ller and H. Bandemer and H. P. H{\"O}schel and V. Dupa\č and G. Maibaum and A. Pr{\'E}kopa Statistics 10 613--622 (1979)
  to imported by smicha on 2008-04-23 13:57:40
  | URL | BibTeX  
• Handbook of Logic in Computer Science
  Samson Abramsky and Dov M. Gabbay and T.S.E. Maibaum (eds.). (1992-2000)
  to diss by callagialla on 2008-03-20 21:01:58
  | BibTeX  
• Semantic modelling
  Samson Abramsky and Dov M. Gabbay and T.S.E. Maibaum Handbook of Logic in Computer Science Vol. 4 (1992-2000)
  to diss by callagialla on 2008-03-20 21:01:58
  | BibTeX  
• Logic and algebraic methods
  Samson Abramsky and Dov M. Gabbay and T.S.E. Maibaum Handbook of Logic in Computer Science Vol. 5 (1992-2000)
  to Computer Informatik LogikTheoretische Symbolic and mathematicalMathematische scienceLogic, by callagialla on 2008-03-20 21:01:58
  | BibTeX  
• Background Mathematical structures
  Samson Abramsky and Dov M. Gabbay and T.S.E. Maibaum Handbook of Logic in Computer Science Vol. 1 (1992-2000)
  to <Mathematik>Mathematische LogikInformatik Struktur by callagialla on 2008-03-20 21:01:58
  | BibTeX  
• Semantic structures
  Samson Abramsky and Dov M. Gabbay and T.S.E. Maibaum Handbook of Logic in Computer Science Vol. 3 (1992-2000)
  to diss by callagialla on 2008-03-20 21:01:58
  | BibTeX  
• Background Computational structures
  Samson Abramsky and Dov M. Gabbay and T.S.E. Maibaum Handbook of Logic in Computer Science (1992-2000)
  to diss by callagialla on 2008-03-20 21:01:58
  | BibTeX  
• An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers.
  Pablo F. Castro and T. S. E. Maibaum SEFM 151-160 (2007)
  to dblp by dblp on 2007-12-06 00:00:00
  | URL | BibTeX  
• A test framework for integration testing of object-oriented programs.
  T. S. E. Maibaum and Zhe (Jessie) Li CASCON 252-255 (2007)
  to dblp by dblp on 2007-12-04 00:00:00
  | URL | BibTeX  
• Modal and Temporal Logics
  C. Stirling 478--563 (1992)
  to imported by bsmyth on 2007-11-02 23:09:02
  | BibTeX