%0 Conference Paper %1 conf/cade/JeannerodT18 %A Jeannerod, Nicolas %A Treinen, Ralf %B IJCAR %D 2018 %E Galmiche, Didier %E Schulz, Stephan %E Sebastiani, Roberto %I Springer %K dblp %P 439-454 %T Deciding the First-Order Theory of an Algebra of Feature Trees with Updates. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2018.html#JeannerodT18 %V 10900 %@ 978-3-319-94205-6

@inproceedings{conf/cade/JeannerodT18, added-at = {2018-07-09T00:00:00.000+0200}, author = {Jeannerod, Nicolas and Treinen, Ralf}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20888ab58a35b6edfbecab93d01db51f4/dblp}, booktitle = {IJCAR}, crossref = {conf/cade/2018}, editor = {Galmiche, Didier and Schulz, Stephan and Sebastiani, Roberto}, ee = {https://doi.org/10.1007/978-3-319-94205-6_29}, interhash = {4e63dcb94e5472495b63eda9b4e17fe4}, intrahash = {0888ab58a35b6edfbecab93d01db51f4}, isbn = {978-3-319-94205-6}, keywords = {dblp}, pages = {439-454}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:38:54.000+0200}, title = {Deciding the First-Order Theory of an Algebra of Feature Trees with Updates.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2018.html#JeannerodT18}, volume = 10900, year = 2018 }