%0 Conference Paper %1 conf/tableaux/NalonHD15 %A Nalon, Cláudia %A Hustadt, Ullrich %A Dixon, Clare %B TABLEAUX %D 2015 %E de Nivelle, Hans %I Springer %K %P 185-200 %T A Modal-Layered Resolution Calculus for K. %U http://dblp.uni-trier.de/db/conf/tableaux/tableaux2015.html#NalonHD15 %V 9323 %@ 978-3-319-24311-5

@inproceedings{conf/tableaux/NalonHD15, added-at = {2023-12-12T22:28:20.000+0100}, author = {Nalon, Cláudia and Hustadt, Ullrich and Dixon, Clare}, biburl = {https://www.bibsonomy.org/bibtex/26ee696d10085201edd5b2cf0631e8005/admin}, booktitle = {TABLEAUX}, crossref = {conf/tableaux/2015}, editor = {de Nivelle, Hans}, ee = {https://doi.org/10.1007/978-3-319-24312-2_13}, interhash = {4a9e86ac7fbbaf43f032dcc8d25eaca2}, intrahash = {6ee696d10085201edd5b2cf0631e8005}, isbn = {978-3-319-24311-5}, keywords = {}, pages = {185-200}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T22:28:20.000+0100}, title = {A Modal-Layered Resolution Calculus for K.}, url = {http://dblp.uni-trier.de/db/conf/tableaux/tableaux2015.html#NalonHD15}, volume = 9323, year = 2015 }