%0 Conference Paper %1 conf/lata/HutschenreiterP17 %A Hutschenreiter, Lisa %A Peñaloza, Rafael %B LATA %D 2017 %E Drewes, Frank %E Martín-Vide, Carlos %E Truthe, Bianca %K dblp %P 103-114 %T An Automata View to Goal-Directed Methods. %U http://dblp.uni-trier.de/db/conf/lata/lata2017.html#HutschenreiterP17 %V 10168 %@ 978-3-319-53732-0

@inproceedings{conf/lata/HutschenreiterP17, added-at = {2017-05-24T00:00:00.000+0200}, author = {Hutschenreiter, Lisa and Peñaloza, Rafael}, biburl = {https://www.bibsonomy.org/bibtex/2cb52fb9c44133ed056c360d1a1f1188c/dblp}, booktitle = {LATA}, crossref = {conf/lata/2017}, editor = {Drewes, Frank and Martín-Vide, Carlos and Truthe, Bianca}, ee = {https://doi.org/10.1007/978-3-319-53733-7_7}, interhash = {7ad3b817b43769a20ca732df16fa7d6a}, intrahash = {cb52fb9c44133ed056c360d1a1f1188c}, isbn = {978-3-319-53732-0}, keywords = {dblp}, pages = {103-114}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-17T12:16:58.000+0200}, title = {An Automata View to Goal-Directed Methods.}, url = {http://dblp.uni-trier.de/db/conf/lata/lata2017.html#HutschenreiterP17}, volume = 10168, year = 2017 }