%0 Conference Paper %1 conf/fct/KupkePS15 %A Kupke, Clemens %A Pattinson, Dirk %A Schröder, Lutz %B FCT %D 2015 %E Kosowski, Adrian %E Walukiewicz, Igor %I Springer %K dblp %P 367-380 %T Reasoning with Global Assumptions in Arithmetic Modal Logics. %U http://dblp.uni-trier.de/db/conf/fct/fct2015.html#KupkePS15 %V 9210 %@ 978-3-319-22176-2

@inproceedings{conf/fct/KupkePS15, added-at = {2023-03-21T00:00:00.000+0100}, author = {Kupke, Clemens and Pattinson, Dirk and Schröder, Lutz}, biburl = {https://www.bibsonomy.org/bibtex/2002a612ae3362f752794fd5ca0b1f264/dblp}, booktitle = {FCT}, crossref = {conf/fct/2015}, editor = {Kosowski, Adrian and Walukiewicz, Igor}, ee = {https://doi.org/10.1007/978-3-319-22177-9_28}, interhash = {377084c5c022c3c2ad3a89048b4fc18a}, intrahash = {002a612ae3362f752794fd5ca0b1f264}, isbn = {978-3-319-22176-2}, keywords = {dblp}, pages = {367-380}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T18:51:10.000+0200}, title = {Reasoning with Global Assumptions in Arithmetic Modal Logics.}, url = {http://dblp.uni-trier.de/db/conf/fct/fct2015.html#KupkePS15}, volume = 9210, year = 2015 }