Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record conf/ictcs/BarileBR23
@inproceedings{DBLP:conf/ictcs/BarileBR23, author = {Adriano Barile and Stefano Berardi and Luca Roversi}, editor = {Giuseppa Castiglione and Marinella Sciortino}, title = {Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category Problem}, booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer Science, Palermo, Italy, September 13-15, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3587}, pages = {31--43}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3587/5208.pdf}, timestamp = {Mon, 18 Dec 2023 16:58:34 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/BarileBR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.