%0 Conference Paper %1 conf/wollic/SavateevS19 %A Savateev, Yury %A Shamkanov, Daniyar S. %B WoLLIC %D 2019 %E Iemhoff, Rosalie %E Moortgat, Michael %E de Queiroz, Ruy J. G. B. %I Springer %K dblp %P 569-583 %T Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs. %U http://dblp.uni-trier.de/db/conf/wollic/wollic2019.html#SavateevS19 %V 11541 %@ 978-3-662-59533-6

@inproceedings{conf/wollic/SavateevS19, added-at = {2019-06-25T00:00:00.000+0200}, author = {Savateev, Yury and Shamkanov, Daniyar S.}, biburl = {https://www.bibsonomy.org/bibtex/2364354bcebf70594657fc66b7ca84fc1/dblp}, booktitle = {WoLLIC}, crossref = {conf/wollic/2019}, editor = {Iemhoff, Rosalie and Moortgat, Michael and de Queiroz, Ruy J. G. B.}, ee = {https://doi.org/10.1007/978-3-662-59533-6_34}, interhash = {951e429c9f43c7b02ee3068366579fe2}, intrahash = {364354bcebf70594657fc66b7ca84fc1}, isbn = {978-3-662-59533-6}, keywords = {dblp}, pages = {569-583}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-26T11:39:02.000+0200}, title = {Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs.}, url = {http://dblp.uni-trier.de/db/conf/wollic/wollic2019.html#SavateevS19}, volume = 11541, year = 2019 }