%0 Conference Paper %1 conf/fsttcs/0003S22 %A Garg, Mohit %A Sarswat, Suneel %B FSTTCS %D 2022 %E Dawar, Anuj %E Guruswami, Venkatesan %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 39:1-39:21 %T The Design and Regulation of Exchanges: A Formal Approach. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2022.html#0003S22 %V 250 %@ 978-3-95977-261-7

@inproceedings{conf/fsttcs/0003S22, added-at = {2022-12-14T00:00:00.000+0100}, author = {Garg, Mohit and Sarswat, Suneel}, biburl = {https://www.bibsonomy.org/bibtex/28a9fd19ccc83ee6f3d27b5826f55e506/dblp}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/2022}, editor = {Dawar, Anuj and Guruswami, Venkatesan}, ee = {https://doi.org/10.4230/LIPIcs.FSTTCS.2022.39}, interhash = {a9ac665f43c48d81671311b04c6f5c3d}, intrahash = {8a9fd19ccc83ee6f3d27b5826f55e506}, isbn = {978-3-95977-261-7}, keywords = {dblp}, pages = {39:1-39:21}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:46:09.000+0200}, title = {The Design and Regulation of Exchanges: A Formal Approach.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2022.html#0003S22}, volume = 250, year = 2022 }