%0 Conference Paper %1 conf/aplas/IkedaSK23 %A Ikeda, Ryo %A Sato, Ryosuke %A Kobayashi, Naoki %B APLAS %D 2023 %E Hur, Chung-Kil %I Springer %K dblp %P 246-265 %T Argument Reduction of Constrained Horn Clauses Using Equality Constraints. %U http://dblp.uni-trier.de/db/conf/aplas/aplas2023.html#IkedaSK23 %V 14405 %@ 978-981-99-8311-7

@inproceedings{conf/aplas/IkedaSK23, added-at = {2023-12-10T00:00:00.000+0100}, author = {Ikeda, Ryo and Sato, Ryosuke and Kobayashi, Naoki}, biburl = {https://www.bibsonomy.org/bibtex/268007b1182538f4d60ea2445339de80f/dblp}, booktitle = {APLAS}, crossref = {conf/aplas/2023}, editor = {Hur, Chung-Kil}, ee = {https://doi.org/10.1007/978-981-99-8311-7_12}, interhash = {bd7de0247295e4ee61c5da6c69c6c589}, intrahash = {68007b1182538f4d60ea2445339de80f}, isbn = {978-981-99-8311-7}, keywords = {dblp}, pages = {246-265}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-06-17T07:39:59.000+0200}, title = {Argument Reduction of Constrained Horn Clauses Using Equality Constraints.}, url = {http://dblp.uni-trier.de/db/conf/aplas/aplas2023.html#IkedaSK23}, volume = 14405, year = 2023 }