%0 Conference Paper %1 conf/aiml/AlassfSS22 %A Alassaf, Ruba %A Schmidt, Renate A. %A Sattler, Uli %B AiML %D 2022 %E Fernández-Duque, David %E Palmigiano, Alessandra %E Pinchinat, Sophie %I College Publications %K dblp %P 37-57 %T Saturation-Based Uniform Interpolation for Multi-Modal Logics. %U http://dblp.uni-trier.de/db/conf/aiml/aiml2022.html#AlassfSS22 %@ 978-1-84890-413-2

@inproceedings{conf/aiml/AlassfSS22, added-at = {2024-01-16T00:00:00.000+0100}, author = {Alassaf, Ruba and Schmidt, Renate A. and Sattler, Uli}, biburl = {https://www.bibsonomy.org/bibtex/201e76e98d1b28d1354f7e3d1a7eadd19/dblp}, booktitle = {AiML}, crossref = {conf/aiml/2022}, editor = {Fernández-Duque, David and Palmigiano, Alessandra and Pinchinat, Sophie}, ee = {http://www.aiml.net/volumes/volume14/07-Alassaf-Schmidt-Sattler.pdf}, interhash = {7bc9ec246673e8b33fe5aa489621ff08}, intrahash = {01e76e98d1b28d1354f7e3d1a7eadd19}, isbn = {978-1-84890-413-2}, keywords = {dblp}, pages = {37-57}, publisher = {College Publications}, timestamp = {2024-04-09T20:03:23.000+0200}, title = {Saturation-Based Uniform Interpolation for Multi-Modal Logics.}, url = {http://dblp.uni-trier.de/db/conf/aiml/aiml2022.html#AlassfSS22}, year = 2022 }