%0 Conference Paper %1 conf/lpar/LeitschL24 %A Leitsch, Alexander %A Lolic, Anela %B LPAR %D 2024 %E Bjørner, Nikolaj S. %E Heule, Marijn %E Voronkov, Andrei %I EasyChair %K dblp %P 295-310 %T Herbrand's Theorem in Inductive Proofs. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2024.html#LeitschL24 %V 100

@inproceedings{conf/lpar/LeitschL24, added-at = {2024-06-25T00:00:00.000+0200}, author = {Leitsch, Alexander and Lolic, Anela}, biburl = {https://www.bibsonomy.org/bibtex/2e1bb7d6626de3bdf5ff2d1bb8c225a74/dblp}, booktitle = {LPAR}, crossref = {conf/lpar/2024}, editor = {Bjørner, Nikolaj S. and Heule, Marijn and Voronkov, Andrei}, ee = {https://doi.org/10.29007/dwdf}, interhash = {8e1bea425f252cad96c698561cab7c16}, intrahash = {e1bb7d6626de3bdf5ff2d1bb8c225a74}, keywords = {dblp}, pages = {295-310}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-07-01T07:08:12.000+0200}, title = {Herbrand's Theorem in Inductive Proofs.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2024.html#LeitschL24}, volume = 100, year = 2024 }