%0 Conference Paper %1 conf/tableaux/McCabe-DanstedR15 %A McCabe-Dansted, John Christopher %A Reynolds, Mark %B TABLEAUX %D 2015 %E de Nivelle, Hans %I Springer %K dblp %P 22-37 %T A Tableau for Bundled Strategies. %U http://dblp.uni-trier.de/db/conf/tableaux/tableaux2015.html#McCabe-DanstedR15 %V 9323 %@ 978-3-319-24311-5

@inproceedings{conf/tableaux/McCabe-DanstedR15, added-at = {2021-07-02T00:00:00.000+0200}, author = {McCabe-Dansted, John Christopher and Reynolds, Mark}, biburl = {https://www.bibsonomy.org/bibtex/2986caa9003b10a6eeab3d1b13ecd650a/dblp}, booktitle = {TABLEAUX}, crossref = {conf/tableaux/2015}, editor = {de Nivelle, Hans}, ee = {https://doi.org/10.1007/978-3-319-24312-2_3}, interhash = {29019922baee7a94e0de4cd40308a165}, intrahash = {986caa9003b10a6eeab3d1b13ecd650a}, isbn = {978-3-319-24311-5}, keywords = {dblp}, pages = {22-37}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T05:42:04.000+0200}, title = {A Tableau for Bundled Strategies.}, url = {http://dblp.uni-trier.de/db/conf/tableaux/tableaux2015.html#McCabe-DanstedR15}, volume = 9323, year = 2015 }