BibSonomy :: author  ::

bookmarks

publications

(199)

• 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  
• A Categorical Quantum Logic
  Samson Abramsky and Ross Duncan CoRR abs/quant-ph/0512114 (2005)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• A categorical semantics of quantum protocols
  Samson Abramsky and Bob Coecke CoRR quant-ph/0402130 (2004)
  to dblp by dblp and 1 other person on 2008-01-02 00:00:00
  | URL | BibTeX  
• Physical Traces: Quantum vs. Classical Information Processing
  Samson Abramsky and Bob Coecke CoRR cs.CG/0207057 (2002)
  to dblp by dblp and 1 other person on 2008-01-02 00:00:00
  | URL | BibTeX  
• Finite Approximation of Spaces.
  Michael B. Smyth CTCS 225-241 (1985)
  to dblp by bsmyth and 1 other person on 2007-11-03 00:18:07
  | URL | BibTeX