%0 Conference Paper %1 conf/kr/AlassafSS21 %A Alassaf, Ruba %A Schmidt, Renate A. %A Sattler, Uli %B SOQE@KR %D 2021 %E Schmidt, Renate A. %E Wernhard, Christoph %E Zhao, Yizheng %I CEUR-WS.org %K dblp %P 15-27 %T Resolution-Based Uniform Interpolation for Multi-Agent Modal Logic Kn. %U http://dblp.uni-trier.de/db/conf/kr/soqe2021.html#AlassafSS21 %V 3009

@inproceedings{conf/kr/AlassafSS21, added-at = {2023-03-10T00:00:00.000+0100}, author = {Alassaf, Ruba and Schmidt, Renate A. and Sattler, Uli}, biburl = {https://www.bibsonomy.org/bibtex/247b623c43cb3685c8499451489fbd5a4/dblp}, booktitle = {SOQE@KR}, crossref = {conf/kr/2021soqe}, editor = {Schmidt, Renate A. and Wernhard, Christoph and Zhao, Yizheng}, ee = {https://ceur-ws.org/Vol-3009/paper1.pdf}, interhash = {c109137f0199336f61f0c257f572483d}, intrahash = {47b623c43cb3685c8499451489fbd5a4}, keywords = {dblp}, pages = {15-27}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T23:53:51.000+0200}, title = {Resolution-Based Uniform Interpolation for Multi-Agent Modal Logic Kn.}, url = {http://dblp.uni-trier.de/db/conf/kr/soqe2021.html#AlassafSS21}, volume = 3009, year = 2021 }