%0 Conference Paper %1 conf/lanmr/MaciasP16 %A Macías, Verónica Borja %A Pérez-Gaspar, Miguel %B LANMR %D 2016 %E Galindo, Mauricio Javier Osorio %E Marcial-Romero, José Raymundo %E Cortés, Claudia Zepeda %E Pineda, Iván Olmos %I CEUR-WS.org %K dblp %P 1-8 %T Kripke-type semantics for G'3 and CG'3. %U http://dblp.uni-trier.de/db/conf/lanmr/lanmr2016.html#MaciasP16 %V 1659

@inproceedings{conf/lanmr/MaciasP16, added-at = {2023-03-10T00:00:00.000+0100}, author = {Macías, Verónica Borja and Pérez-Gaspar, Miguel}, biburl = {https://www.bibsonomy.org/bibtex/23761fa0b04a9b6398a6de82f68bd79a0/dblp}, booktitle = {LANMR}, crossref = {conf/lanmr/2016}, editor = {Galindo, Mauricio Javier Osorio and Marcial-Romero, José Raymundo and Cortés, Claudia Zepeda and Pineda, Iván Olmos}, ee = {https://ceur-ws.org/Vol-1659/paper1.pdf}, interhash = {e1bcec92b866970c98f119e6d9344eae}, intrahash = {3761fa0b04a9b6398a6de82f68bd79a0}, keywords = {dblp}, pages = {1-8}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-10T01:49:01.000+0200}, title = {Kripke-type semantics for G'3 and CG'3.}, url = {http://dblp.uni-trier.de/db/conf/lanmr/lanmr2016.html#MaciasP16}, volume = 1659, year = 2016 }