%0 Conference Paper %1 conf/birthday/Kirchner15 %A Kirchner, Hélène %B Logic, Rewriting, and Concurrency %D 2015 %E Martí-Oliet, Narciso %E Ölveczky, Peter Csaba %E Talcott, Carolyn L. %I Springer %K dblp %P 380-403 %T Rewriting Strategies and Strategic Rewrite Programs. %U http://dblp.uni-trier.de/db/conf/birthday/meseguer2015.html#Kirchner15 %V 9200 %@ 978-3-319-23164-8

@inproceedings{conf/birthday/Kirchner15, added-at = {2017-05-23T00:00:00.000+0200}, author = {Kirchner, Hélène}, biburl = {https://www.bibsonomy.org/bibtex/2bac596d52ba032fa4798d63b5b7c78ba/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_18}, interhash = {28f8d9eeab9948a362d64e0368615a7d}, intrahash = {bac596d52ba032fa4798d63b5b7c78ba}, isbn = {978-3-319-23164-8}, keywords = {dblp}, pages = {380-403}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:20:30.000+0200}, title = {Rewriting Strategies and Strategic Rewrite Programs.}, url = {http://dblp.uni-trier.de/db/conf/birthday/meseguer2015.html#Kirchner15}, volume = 9200, year = 2015 }