%0 Conference Paper %1 conf/lanmr/BarcenasLMV19 %A Bárcenas, Everardo %A de Jesús Lavalle-Martínez, José %A Molero-Castillo, Guillermo %A Velázquez-Mena, Alejandro %B LANMR (Selected Papers) %D 2019 %E Parra, Pilar Pozos %E Marcial-Romero, José Raymundo %I Elsevier %K dblp %P 3-16 %T A Note on Constructive Interpolation for the Multi-Modal Logic Km. %U http://dblp.uni-trier.de/db/conf/lanmr/lanmr2019s.html#BarcenasLMV19 %V 354

@inproceedings{conf/lanmr/BarcenasLMV19, added-at = {2023-08-28T00:00:00.000+0200}, author = {Bárcenas, Everardo and de Jesús Lavalle-Martínez, José and Molero-Castillo, Guillermo and Velázquez-Mena, Alejandro}, biburl = {https://www.bibsonomy.org/bibtex/25f492853f8f986387b3ee05ca31200ec/dblp}, booktitle = {LANMR (Selected Papers)}, crossref = {conf/lanmr/2019s}, editor = {Parra, Pilar Pozos and Marcial-Romero, José Raymundo}, ee = {https://www.wikidata.org/entity/Q113317270}, interhash = {f1539cd27e9ff1429b0008ebd75a9b7d}, intrahash = {5f492853f8f986387b3ee05ca31200ec}, keywords = {dblp}, pages = {3-16}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T01:48:50.000+0200}, title = {A Note on Constructive Interpolation for the Multi-Modal Logic Km.}, url = {http://dblp.uni-trier.de/db/conf/lanmr/lanmr2019s.html#BarcenasLMV19}, volume = 354, year = 2019 }