%0 Conference Paper %1 conf/lanmr/Marcial-RomeroH09 %A Marcial-Romero, José Raymundo %A Servín, José Antonio Hernández %B LA-NMR %D 2009 %E Osorio, Mauricio %E Zepeda, Claudia %E Olmos, Iván %E Medina, Carolina %E Arrazola, José %I CEUR-WS.org %K dblp %P 40-60 %T Functional first order de definability of LRTp. %U http://dblp.uni-trier.de/db/conf/lanmr/lanmr2009.html#Marcial-RomeroH09 %V 533

@inproceedings{conf/lanmr/Marcial-RomeroH09, added-at = {2023-03-10T00:00:00.000+0100}, author = {Marcial-Romero, José Raymundo and Servín, José Antonio Hernández}, biburl = {https://www.bibsonomy.org/bibtex/24a1677a7543901a0c9e7c7f3d530e814/dblp}, booktitle = {LA-NMR}, crossref = {conf/lanmr/2009}, editor = {Osorio, Mauricio and Zepeda, Claudia and Olmos, Iván and Medina, Carolina and Arrazola, José}, ee = {https://ceur-ws.org/Vol-533/05_LANMR09_02.pdf}, interhash = {32aa6ce8a102f9fd5bf51ccd69a128a9}, intrahash = {4a1677a7543901a0c9e7c7f3d530e814}, keywords = {dblp}, pages = {40-60}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-10T01:48:50.000+0200}, title = {Functional first order de definability of LRTp.}, url = {http://dblp.uni-trier.de/db/conf/lanmr/lanmr2009.html#Marcial-RomeroH09}, volume = 533, year = 2009 }