@article{journals/corr/abs-2407-04037,
  added-at = {2024-08-07T00:00:00.000+0200},
  author = {Grange, Julien and Vehlken, Fabian and Vortmeier, Nils and Zeume, Thomas},
  biburl = {https://www.bibsonomy.org/bibtex/246f6ce98d64c313532a014560eb402d1/dblp},
  ee = {https://doi.org/10.48550/arXiv.2407.04037},
  interhash = {e09c91fd7e3aa2f6d98b23b02e7b884c},
  intrahash = {46f6ce98d64c313532a014560eb402d1},
  journal = {CoRR},
  keywords = {dblp},
  timestamp = {2024-08-12T07:05:50.000+0200},
  title = {Specification and Automatic Verification of Computational Reductions.},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr2407.html#abs-2407-04037},
  volume = {abs/2407.04037},
  year = 2024
}

{"_id":"MareSEyBfZpJXMPYM","bibbaseid":"grange-vehlken-vortmeier-zeume-specificationandautomaticverificationofcomputationalreductions-2024","author_short":["Grange, J.","Vehlken, F.","Vortmeier, N.","Zeume, T."],"bibdata":{"bibtype":"article","type":"article","added-at":"2024-08-07T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Grange"],"firstnames":["Julien"],"suffixes":[]},{"propositions":[],"lastnames":["Vehlken"],"firstnames":["Fabian"],"suffixes":[]},{"propositions":[],"lastnames":["Vortmeier"],"firstnames":["Nils"],"suffixes":[]},{"propositions":[],"lastnames":["Zeume"],"firstnames":["Thomas"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/246f6ce98d64c313532a014560eb402d1/dblp","ee":"https://doi.org/10.48550/arXiv.2407.04037","interhash":"e09c91fd7e3aa2f6d98b23b02e7b884c","intrahash":"46f6ce98d64c313532a014560eb402d1","journal":"CoRR","keywords":"dblp","timestamp":"2024-08-12T07:05:50.000+0200","title":"Specification and Automatic Verification of Computational Reductions.","url":"http://dblp.uni-trier.de/db/journals/corr/corr2407.html#abs-2407-04037","volume":"abs/2407.04037","year":"2024","bibtex":"@article{journals/corr/abs-2407-04037,\n added-at = {2024-08-07T00:00:00.000+0200},\n author = {Grange, Julien and Vehlken, Fabian and Vortmeier, Nils and Zeume, Thomas},\n biburl = {https://www.bibsonomy.org/bibtex/246f6ce98d64c313532a014560eb402d1/dblp},\n ee = {https://doi.org/10.48550/arXiv.2407.04037},\n interhash = {e09c91fd7e3aa2f6d98b23b02e7b884c},\n intrahash = {46f6ce98d64c313532a014560eb402d1},\n journal = {CoRR},\n keywords = {dblp},\n timestamp = {2024-08-12T07:05:50.000+0200},\n title = {Specification and Automatic Verification of Computational Reductions.},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr2407.html#abs-2407-04037},\n volume = {abs/2407.04037},\n year = 2024\n}\n\n","author_short":["Grange, J.","Vehlken, F.","Vortmeier, N.","Zeume, T."],"key":"journals/corr/abs-2407-04037","id":"journals/corr/abs-2407-04037","bibbaseid":"grange-vehlken-vortmeier-zeume-specificationandautomaticverificationofcomputationalreductions-2024","role":"author","urls":{"Link":"https://doi.org/10.48550/arXiv.2407.04037","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr2407.html#abs-2407-04037"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Thomas?items=1000","dataSources":["Wze2LBds9bM8uwxm8"],"keywords":["dblp"],"search_terms":["specification","automatic","verification","computational","reductions","grange","vehlken","vortmeier","zeume"],"title":"Specification and Automatic Verification of Computational Reductions.","year":2024}