%0 Journal Article %1 journals/amai/WojciechowskiES17a %A Wojciechowski, Piotr %A Eirinakis, Pavlos %A Subramani, K. %D 2017 %J Ann. Math. Artif. Intell. %K dblp %N 4 %P 371-392 %T Erratum to: Analyzing restricted fragments of the theory of linear arithmetic. %U http://dblp.uni-trier.de/db/journals/amai/amai79.html#WojciechowskiES17a %V 79

@article{journals/amai/WojciechowskiES17a, added-at = {2024-02-09T00:00:00.000+0100}, author = {Wojciechowski, Piotr and Eirinakis, Pavlos and Subramani, K.}, biburl = {https://www.bibsonomy.org/bibtex/2428dafe9e569086f9c120c3218d999e5/dblp}, ee = {https://doi.org/10.1007/s10472-017-9537-y}, interhash = {8b3ceb923e7462d7d99c4e89461c7609}, intrahash = {428dafe9e569086f9c120c3218d999e5}, journal = {Ann. Math. Artif. Intell.}, keywords = {dblp}, number = 4, pages = {371-392}, timestamp = {2024-04-08T16:48:58.000+0200}, title = {Erratum to: Analyzing restricted fragments of the theory of linear arithmetic.}, url = {http://dblp.uni-trier.de/db/journals/amai/amai79.html#WojciechowskiES17a}, volume = 79, year = 2017 }