@inproceedings{conf/birthday/Abramsky00,
	title = {Axioms for definability and full completeness.},
	author = {Samson Abramsky},
	booktitle = {Proof, Language, and Interaction},
	crossref = {conf/birthday/1999milner},
	editor = {Gordon D. Plotkin and Colin Stirling and Mads Tofte},
	pages = {55-76},
	publisher = {The MIT Press},
	url = {http://dblp.uni-trier.de/db/conf/birthday/milner1999.html#Abramsky00},
	year = {2000},
	biburl = {http://www.bibsonomy.org/bibtex/26e5986baa27ed84d83ce8209ea28c1b9/dblp},
	description = {dblp},
	isbn = {978-0-262-16188-6}, date = {2008-06-23},
	keywords = {dblp }
}

@article{journals/mscs/AbramskyD06,
	title = {A categorical quantum logic.},
	author = {Samson Abramsky and Ross Duncan},
	journal = {Mathematical Structures in Computer Science},
	number = {3},
	pages = {469-489},
	url = {http://dblp.uni-trier.de/db/journals/mscs/mscs16.html#AbramskyD06},
	volume = {16},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2c6734262a8d2c7846f65af0fd035f170/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1017/S0960129506005275}, date = {2008-06-19},
	keywords = {dblp }
}

@inproceedings{conf/birthday/Abramsky08,
	title = {Petri Nets, Discrete Physics, and Distributed Quantum Computation.},
	author = {Samson Abramsky},
	booktitle = {Concurrency, Graphs and Models},
	crossref = {conf/birthday/2008montanari},
	editor = {Pierpaolo Degano and Rocco De Nicola and José Meseguer},
	pages = {527-543},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/birthday/montanari2008.html#Abramsky08},
	volume = {5065},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2935f664aff7d84ba32fe25572b085ddc/dblp},
	description = {dblp},
	date = {2008-06-16}, ee = {http://dx.doi.org/10.1007/978-3-540-68679-8_33}, isbn = {978-3-540-68676-7},
	keywords = {dblp }
}

@book{Abramsky.19922000,
	title = {Handbook of Logic in Computer Science},
	address = {Oxford},
	editor = {Samson Abramsky and Dov M. Gabbay and T.S.E. Maibaum},
	publisher = {Clarendon Press},
	year = {1992-2000},
	biburl = {http://www.bibsonomy.org/bibtex/2d282dae804e0342d5fcddbcbf5a88b7c/callagialla},
	abstract = {Literaturangaben},
	isbn = {0198537611},
	keywords = {diss }
}

@incollection{Abramsky.19922000,
	title = {Semantic modelling},
	author = {Samson Abramsky and Dov M. Gabbay and T.S.E. Maibaum},
	booktitle = {Handbook of Logic in Computer Science},
	editor = {Samson Abramsky and Dov M. Gabbay and T.S.E. Maibaum},
	pages = {Vol. 4},
	publisher = {Clarendon Press},
	year = {1992-2000},
	biburl = {http://www.bibsonomy.org/bibtex/21e1f1b563158e29b39fa1defa4a0c5f1/callagialla},
	abstract = {Literaturangaben},
	isbn = {0198537611},
	keywords = {diss }
}

@incollection{Abramsky.19922000,
	title = {Logic and algebraic methods},
	author = {Samson Abramsky and Dov M. Gabbay and T.S.E. Maibaum},
	booktitle = {Handbook of Logic in Computer Science},
	editor = {Samson Abramsky and Dov M. Gabbay and T.S.E. Maibaum},
	pages = {Vol. 5},
	publisher = {Clarendon Press},
	year = {1992-2000},
	biburl = {http://www.bibsonomy.org/bibtex/2869d237c77456033716b12d21fe181cc/callagialla},
	abstract = {Literaturangaben},
	isbn = {0198537611},
	keywords = {Computer Informatik LogikTheoretische Symbolic and mathematicalMathematische scienceLogic, }
}

@incollection{Abramsky.19922000,
	title = {Background Mathematical structures},
	author = {Samson Abramsky and Dov M. Gabbay and T.S.E. Maibaum},
	booktitle = {Handbook of Logic in Computer Science},
	editor = {Samson Abramsky and Dov M. Gabbay and T.S.E. Maibaum},
	pages = {Vol. 1},
	publisher = {Clarendon Press},
	year = {1992-2000},
	biburl = {http://www.bibsonomy.org/bibtex/2d48786b9cfde55f4d6e71756b8bf001b/callagialla},
	isbn = {0198537611},
	keywords = {<Mathematik>Mathematische LogikInformatik Struktur }
}

@incollection{Abramsky.19922000,
	title = {Semantic structures},
	author = {Samson Abramsky and Dov M. Gabbay and T.S.E. Maibaum},
	booktitle = {Handbook of Logic in Computer Science},
	editor = {Samson Abramsky and Dov M. Gabbay and T.S.E. Maibaum},
	pages = {Vol. 3},
	publisher = {Clarendon Press},
	year = {1992-2000},
	biburl = {http://www.bibsonomy.org/bibtex/2465d9fef3d59cde9ac5d5d8bb4490f6e/callagialla},
	abstract = {Literaturangaben},
	isbn = {0198537611},
	keywords = {diss }
}

@incollection{Abramsky.19922000,
	title = {Background Computational structures},
	author = {Samson Abramsky and Dov M. Gabbay and T.S.E. Maibaum},
	booktitle = {Handbook of Logic in Computer Science},
	editor = {Samson Abramsky and Dov M. Gabbay and T.S.E. Maibaum},
	publisher = {Clarendon Press},
	volume = {2},
	year = {1992-2000},
	biburl = {http://www.bibsonomy.org/bibtex/26e4d3132f9ae6500dacb40bbda7a42d7/callagialla},
	abstract = {Literaturangaben},
	isbn = {0198537611},
	keywords = {diss }
}

@article{journals/corr/abs-quant-ph-0512114,
	title = {A Categorical Quantum Logic},
	author = {Samson Abramsky and Ross Duncan},
	journal = {CoRR},
	note = {informal publication},
	url = {http://dblp.uni-trier.de/db/journals/corr/corr0512.html#abs-quant-ph-0512114},
	volume = {abs/quant-ph/0512114},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/28f9f07522024cc670d260d9676c9c73c/dblp},
	description = {dblp},
	ee = {http://arxiv.org/abs/quant-ph/0512114}, date = {2008-01-02},
	keywords = {dblp }
}