%0 Conference Paper %1 conf/fossacs/BlotDTW24 %A Blot, Valentin %A Dowek, Gilles %A Traversié, Thomas %A Winterhalter, Théo %B FoSSaCS (2) %D 2024 %E Kobayashi, Naoki %E Worrell, James %I Springer %K dblp %P 3-23 %T From Rewrite Rules to Axioms in the $\varPi $-Calculus Modulo Theory. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2024-2.html#BlotDTW24 %V 14575 %@ 978-3-031-57231-9

@inproceedings{conf/fossacs/BlotDTW24, added-at = {2024-06-08T00:00:00.000+0200}, author = {Blot, Valentin and Dowek, Gilles and Traversié, Thomas and Winterhalter, Théo}, biburl = {https://www.bibsonomy.org/bibtex/23f1480446b99f6c535fe750c148b9032/dblp}, booktitle = {FoSSaCS (2)}, crossref = {conf/fossacs/2024-2}, editor = {Kobayashi, Naoki and Worrell, James}, ee = {https://doi.org/10.1007/978-3-031-57231-9_1}, interhash = {b74faa029fff353e51bb25b97f7f7c86}, intrahash = {3f1480446b99f6c535fe750c148b9032}, isbn = {978-3-031-57231-9}, keywords = {dblp}, pages = {3-23}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-06-17T07:39:57.000+0200}, title = {From Rewrite Rules to Axioms in the $\lambda \varPi $-Calculus Modulo Theory.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2024-2.html#BlotDTW24}, volume = 14575, year = 2024 }