%0 Conference Paper %1 conf/birthday/AguirreMPP15 %A Aguirre, Luis %A Martí-Oliet, Narciso %A Palomino, Miguel %A Pita, Isabel %B Logic, Rewriting, and Concurrency %D 2015 %E Martí-Oliet, Narciso %E Ölveczky, Peter Csaba %E Talcott, Carolyn L. %I Springer %K dblp %P 48-71 %T Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude. %U http://dblp.uni-trier.de/db/conf/birthday/meseguer2015.html#AguirreMPP15 %V 9200 %@ 978-3-319-23164-8

@inproceedings{conf/birthday/AguirreMPP15, added-at = {2023-06-26T00:00:00.000+0200}, author = {Aguirre, Luis and Martí-Oliet, Narciso and Palomino, Miguel and Pita, Isabel}, biburl = {https://www.bibsonomy.org/bibtex/27ce226b3c5202098150a389681ef65ba/dblp}, booktitle = {Logic, Rewriting, and Concurrency}, crossref = {conf/birthday/2015meseguer}, editor = {Martí-Oliet, Narciso and Ölveczky, Peter Csaba and Talcott, Carolyn L.}, ee = {https://doi.org/10.1007/978-3-319-23165-5_2}, interhash = {075af1fbaed22fa0d2ef127f220f08b6}, intrahash = {7ce226b3c5202098150a389681ef65ba}, isbn = {978-3-319-23164-8}, keywords = {dblp}, pages = {48-71}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:06:14.000+0200}, title = {Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude.}, url = {http://dblp.uni-trier.de/db/conf/birthday/meseguer2015.html#AguirreMPP15}, volume = 9200, year = 2015 }