callback( { "result":{ "query":":facetid:toc:\"db/conf/birthday/abramsky2013.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"64.40" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"26", "@dc":"26", "@oc":"26", "@id":"43381879", "text":":facetid:toc:db/conf/birthday/abramsky2013.bht" } }, "hits":{ "@total":"26", "@computed":"26", "@sent":"26", "@first":"0", "hit":[{ "@score":"1", "@id":"4108751", "info":{"authors":{"author":{"@pid":"b/JvBenthem","text":"Johan van Benthem"}},"title":"Reasoning about Strategies.","venue":"Computation, Logic, Games, and Quantum Foundations","pages":"336-347","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/birthday/Benthem13","doi":"10.1007/978-3-642-38164-5_23","ee":"https://doi.org/10.1007/978-3-642-38164-5_23","url":"https://dblp.org/rec/conf/birthday/Benthem13"}, "url":"URL#4108751" }, { "@score":"1", "@id":"4108771", "info":{"authors":{"author":[{"@pid":"46/891","text":"Adam Brandenburger"},{"@pid":"36/5048","text":"H. Jerome Keisler"}]},"title":"Use of a Canonical Hidden-Variable Space in Quantum Mechanics.","venue":"Computation, Logic, Games, and Quantum Foundations","pages":"1-6","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/birthday/BrandenburgerK13","doi":"10.1007/978-3-642-38164-5_1","ee":"https://doi.org/10.1007/978-3-642-38164-5_1","url":"https://dblp.org/rec/conf/birthday/BrandenburgerK13"}, "url":"URL#4108771" }, { "@score":"1", "@id":"4108802", "info":{"authors":{"author":[{"@pid":"41/573","text":"Pierre Clairambault"},{"@pid":"75/4014","text":"Julian Gutierrez 0001"},{"@pid":"w/GlynnWinskel","text":"Glynn Winskel"}]},"title":"Imperfect Information in Logic and Concurrent Games.","venue":"Computation, Logic, Games, and Quantum Foundations","pages":"7-20","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/birthday/ClairambaultGW13","doi":"10.1007/978-3-642-38164-5_2","ee":"https://doi.org/10.1007/978-3-642-38164-5_2","url":"https://dblp.org/rec/conf/birthday/ClairambaultGW13"}, "url":"URL#4108802" }, { "@score":"1", "@id":"4108803", "info":{"authors":{"author":[{"@pid":"94/5818","text":"Bob Coecke"},{"@pid":"43/5666","text":"Chris Heunen"},{"@pid":"72/7260","text":"Aleks Kissinger"}]},"title":"Compositional Quantum Logic.","venue":"Computation, Logic, Games, and Quantum Foundations","pages":"21-36","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/birthday/CoeckeHK13","doi":"10.1007/978-3-642-38164-5_3","ee":"https://doi.org/10.1007/978-3-642-38164-5_3","url":"https://dblp.org/rec/conf/birthday/CoeckeHK13"}, "url":"URL#4108803" }, { "@score":"1", "@id":"4108841", "info":{"authors":{"author":[{"@pid":"39/1403","text":"Marcelo P. Fiore"},{"@pid":"93/7537","text":"Marco Devesas Campos"}]},"title":"The Algebra of Directed Acyclic Graphs.","venue":"Computation, Logic, Games, and Quantum Foundations","pages":"37-51","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/birthday/FioreC13","doi":"10.1007/978-3-642-38164-5_4","ee":"https://doi.org/10.1007/978-3-642-38164-5_4","url":"https://dblp.org/rec/conf/birthday/FioreC13"}, "url":"URL#4108841" }, { "@score":"1", "@id":"4108853", "info":{"authors":{"author":[{"@pid":"30/4430","text":"Simon J. Gay"},{"@pid":"08/3521","text":"Rajagopal Nagarajan"}]},"title":"Techniques for Formal Modelling and Analysis of Quantum Systems.","venue":"Computation, Logic, Games, and Quantum Foundations","pages":"264-276","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/birthday/GayN13","doi":"10.1007/978-3-642-38164-5_18","ee":"https://doi.org/10.1007/978-3-642-38164-5_18","url":"https://dblp.org/rec/conf/birthday/GayN13"}, "url":"URL#4108853" }, { "@score":"1", "@id":"4108858", "info":{"authors":{"author":{"@pid":"g/DanRGhica","text":"Dan R. Ghica"}},"title":"Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits.","venue":"Computation, Logic, Games, and Quantum Foundations","pages":"52-68","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/birthday/Ghica13","doi":"10.1007/978-3-642-38164-5_5","ee":"https://doi.org/10.1007/978-3-642-38164-5_5","url":"https://dblp.org/rec/conf/birthday/Ghica13"}, "url":"URL#4108858" }, { "@score":"1", "@id":"4108873", "info":{"authors":{"author":[{"@pid":"h/ChrisHankin","text":"Chris Hankin"},{"@pid":"00/1614","text":"Pasquale Malacaria"}]},"title":"Payoffs, Intensionality and Abstraction in Games.","venue":"Computation, Logic, Games, and Quantum Foundations","pages":"69-82","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/birthday/HankinM13","doi":"10.1007/978-3-642-38164-5_6","ee":"https://doi.org/10.1007/978-3-642-38164-5_6","url":"https://dblp.org/rec/conf/birthday/HankinM13"}, "url":"URL#4108873" }, { "@score":"1", "@id":"4108877", "info":{"authors":{"author":{"@pid":"12/11144","text":"Lucien Hardy"}},"title":"On the Theory of Composition in Physics.","venue":"Computation, Logic, Games, and Quantum Foundations","pages":"83-106","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/birthday/Hardy13","doi":"10.1007/978-3-642-38164-5_7","ee":"https://doi.org/10.1007/978-3-642-38164-5_7","url":"https://dblp.org/rec/conf/birthday/Hardy13"}, "url":"URL#4108877" }, { "@score":"1", "@id":"4108886", "info":{"authors":{"author":{"@pid":"43/5666","text":"Chris Heunen"}},"title":"On the Functor ℓ2.","venue":"Computation, Logic, Games, and Quantum Foundations","pages":"107-121","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/birthday/Heunen13","doi":"10.1007/978-3-642-38164-5_8","ee":"https://doi.org/10.1007/978-3-642-38164-5_8","url":"https://dblp.org/rec/conf/birthday/Heunen13"}, "url":"URL#4108886" }, { "@score":"1", "@id":"4108892", "info":{"authors":{"author":{"@pid":"48/847","text":"Peter Hines"}},"title":"Quantum Speedup and Categorical Distributivity.","venue":"Computation, Logic, Games, and Quantum Foundations","pages":"122-138","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/birthday/Hines13","doi":"10.1007/978-3-642-38164-5_9","ee":"https://doi.org/10.1007/978-3-642-38164-5_9","url":"https://dblp.org/rec/conf/birthday/Hines13"}, "url":"URL#4108892" }, { "@score":"1", "@id":"4108895", "info":{"authors":{"author":{"@pid":"h/CARHoare","text":"Tony Hoare"}},"title":"Unifying Semantics for Concurrent Programming.","venue":"Computation, Logic, Games, and Quantum Foundations","pages":"139-149","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/birthday/Hoare13","doi":"10.1007/978-3-642-38164-5_10","ee":"https://doi.org/10.1007/978-3-642-38164-5_10","url":"https://dblp.org/rec/conf/birthday/Hoare13"}, "url":"URL#4108895" }, { "@score":"1", "@id":"4108898", "info":{"authors":{"author":[{"@pid":"19/6791","text":"Furio Honsell"},{"@pid":"25/4329","text":"Marina Lenisa"}]},"title":"Unfixing the Fixpoint: The Theories of the λY-Calculus.","venue":"Computation, Logic, Games, and Quantum Foundations","pages":"150-165","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/birthday/HonsellL13","doi":"10.1007/978-3-642-38164-5_11","ee":"https://doi.org/10.1007/978-3-642-38164-5_11","url":"https://dblp.org/rec/conf/birthday/HonsellL13"}, "url":"URL#4108898" }, { "@score":"1", "@id":"4108912", "info":{"authors":{"author":{"@pid":"55/5532","text":"Achim Jung"}},"title":"Continuous Domain Theory in Logical Form.","venue":"Computation, Logic, Games, and Quantum Foundations","pages":"166-177","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/birthday/Jung13","doi":"10.1007/978-3-642-38164-5_12","ee":"https://doi.org/10.1007/978-3-642-38164-5_12","url":"https://dblp.org/rec/conf/birthday/Jung13"}, "url":"URL#4108912" }, { "@score":"1", "@id":"4108986", "info":{"authors":{"author":[{"@pid":"131/5097","text":"Octavio Malherbe"},{"@pid":"94/2563","text":"Philip J. Scott"},{"@pid":"s/PeterSelinger","text":"Peter Selinger"}]},"title":"Presheaf Models of Quantum Computation: An Outline.","venue":"Computation, Logic, Games, and Quantum Foundations","pages":"178-194","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/birthday/MalherbeSS13","doi":"10.1007/978-3-642-38164-5_13","ee":"https://doi.org/10.1007/978-3-642-38164-5_13","url":"https://dblp.org/rec/conf/birthday/MalherbeSS13"}, "url":"URL#4108986" }, { "@score":"1", "@id":"4108988", "info":{"authors":{"author":{"@pid":"95/6030","text":"Keye Martin"}},"title":"Nothing Can Be Fixed.","venue":"Computation, Logic, Games, and Quantum Foundations","pages":"195-196","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/birthday/Martin13","doi":"10.1007/978-3-642-38164-5_14","ee":"https://doi.org/10.1007/978-3-642-38164-5_14","url":"https://dblp.org/rec/conf/birthday/Martin13"}, "url":"URL#4108988" }, { "@score":"1", "@id":"4108997", "info":{"authors":{"author":{"@pid":"m/PAMellies","text":"Paul-André Melliès"}},"title":"Dialogue Categories and Frobenius Monoids.","venue":"Computation, Logic, Games, and Quantum Foundations","pages":"197-224","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/birthday/Mellies13","doi":"10.1007/978-3-642-38164-5_15","ee":"https://doi.org/10.1007/978-3-642-38164-5_15","url":"https://dblp.org/rec/conf/birthday/Mellies13"}, "url":"URL#4108997" }, { "@score":"1", "@id":"4109002", "info":{"authors":{"author":{"@pid":"m/MWMislove","text":"Michael W. Mislove"}},"title":"Anatomy of a Domain of Continuous Random Variables II.","venue":"Computation, Logic, Games, and Quantum Foundations","pages":"225-245","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/birthday/Mislove13","doi":"10.1007/978-3-642-38164-5_16","ee":"https://doi.org/10.1007/978-3-642-38164-5_16","url":"https://dblp.org/rec/conf/birthday/Mislove13"}, "url":"URL#4109002" }, { "@score":"1", "@id":"4109011", "info":{"authors":{"author":[{"@pid":"16/1893","text":"Andrzej S. Murawski"},{"@pid":"30/4960","text":"Nikos Tzevelekos"}]},"title":"Towards Nominal Abramsky.","venue":"Computation, Logic, Games, and Quantum Foundations","pages":"246-263","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/birthday/MurawskiT13","doi":"10.1007/978-3-642-38164-5_17","ee":"https://doi.org/10.1007/978-3-642-38164-5_17","url":"https://dblp.org/rec/conf/birthday/MurawskiT13"}, "url":"URL#4109011" }, { "@score":"1", "@id":"4109029", "info":{"authors":{"author":{"@pid":"p/PPanangaden","text":"Prakash Panangaden"}},"title":"Quantum Field Theory for Legspinners.","venue":"Computation, Logic, Games, and Quantum Foundations","pages":"277-290","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/birthday/Panangaden13","doi":"10.1007/978-3-642-38164-5_19","ee":"https://doi.org/10.1007/978-3-642-38164-5_19","url":"https://dblp.org/rec/conf/birthday/Panangaden13"}, "url":"URL#4109029" }, { "@score":"1", "@id":"4109032", "info":{"authors":{"author":{"@pid":"17/1984","text":"Dusko Pavlovic"}},"title":"Bicompletions of Distance Matrices.","venue":"Computation, Logic, Games, and Quantum Foundations","pages":"291-310","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/birthday/Pavlovic13","doi":"10.1007/978-3-642-38164-5_20","ee":"https://doi.org/10.1007/978-3-642-38164-5_20","url":"https://dblp.org/rec/conf/birthday/Pavlovic13"}, "url":"URL#4109032" }, { "@score":"1", "@id":"4109040", "info":{"authors":{"author":{"@pid":"p/GordonDPlotkin","text":"Gordon D. Plotkin"}},"title":"Partial Recursive Functions and Finality.","venue":"Computation, Logic, Games, and Quantum Foundations","pages":"311-326","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/birthday/Plotkin13","doi":"10.1007/978-3-642-38164-5_21","ee":"https://doi.org/10.1007/978-3-642-38164-5_21","url":"https://dblp.org/rec/conf/birthday/Plotkin13"}, "url":"URL#4109040" }, { "@score":"1", "@id":"4109113", "info":{"authors":{"author":{"@pid":"08/503","text":"Jouko A. Väänänen"}},"title":"Breaking the Atom with Samson.","venue":"Computation, Logic, Games, and Quantum Foundations","pages":"327-335","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/birthday/Vaananen13","doi":"10.1007/978-3-642-38164-5_22","ee":"https://doi.org/10.1007/978-3-642-38164-5_22","url":"https://dblp.org/rec/conf/birthday/Vaananen13"}, "url":"URL#4109113" }, { "@score":"1", "@id":"4109116", "info":{"authors":{"author":{"@pid":"v/StevenJVickers","text":"Steve Vickers"}},"title":"Domain Theory in Topical Form.","venue":"Computation, Logic, Games, and Quantum Foundations","pages":"348-349","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/birthday/Vickers13","doi":"10.1007/978-3-642-38164-5_24","ee":"https://doi.org/10.1007/978-3-642-38164-5_24","url":"https://dblp.org/rec/conf/birthday/Vickers13"}, "url":"URL#4109116" }, { "@score":"1", "@id":"4109147", "info":{"authors":{"author":{"@pid":"42/447","text":"Noson S. Yanofsky"}},"title":"Kolmogorov Complexity of Categories.","venue":"Computation, Logic, Games, and Quantum Foundations","pages":"350-362","year":"2013","type":"Conference and Workshop Papers","access":"closed","key":"conf/birthday/Yanofsky13","doi":"10.1007/978-3-642-38164-5_25","ee":"https://doi.org/10.1007/978-3-642-38164-5_25","url":"https://dblp.org/rec/conf/birthday/Yanofsky13"}, "url":"URL#4109147" }, { "@score":"1", "@id":"4248366", "info":{"authors":{"author":[{"@pid":"94/5818","text":"Bob Coecke"},{"@pid":"o/CHLukeOng","text":"Luke Ong"},{"@pid":"p/PPanangaden","text":"Prakash Panangaden"}]},"title":"Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday","venue":["Computation, Logic, Games, and Quantum Foundations","Lecture Notes in Computer Science"],"volume":"7860","publisher":"Springer","year":"2013","type":"Editorship","key":"conf/birthday/2013abramsky","doi":"10.1007/978-3-642-38164-5","ee":"https://doi.org/10.1007/978-3-642-38164-5","url":"https://dblp.org/rec/conf/birthday/2013abramsky"}, "url":"URL#4248366" } ] } } } )