%0 Conference Paper %1 conf/fossacs/ChenP23 %A Chen, Zhibo %A Pfenning, Frank %B FoSSaCS %D 2023 %E Kupferman, Orna %E Sobocinski, Pawel %I Springer %K dblp %P 68-88 %T A Logical Framework with Higher-Order Rational (Circular) Terms. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2023.html#ChenP23 %V 13992 %@ 978-3-031-30829-1

@inproceedings{conf/fossacs/ChenP23, added-at = {2023-05-17T00:00:00.000+0200}, author = {Chen, Zhibo and Pfenning, Frank}, biburl = {https://www.bibsonomy.org/bibtex/235f03755dd150770d947bab324aeb72b/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2023}, editor = {Kupferman, Orna and Sobocinski, Pawel}, ee = {https://doi.org/10.1007/978-3-031-30829-1_4}, interhash = {7a904680fe45e3f56a108ccdf53bb358}, intrahash = {35f03755dd150770d947bab324aeb72b}, isbn = {978-3-031-30829-1}, keywords = {dblp}, pages = {68-88}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:25:35.000+0200}, title = {A Logical Framework with Higher-Order Rational (Circular) Terms.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2023.html#ChenP23}, volume = 13992, year = 2023 }