%0 Conference Paper %1 conf/fossacs/GoncharovSSTU24 %A Goncharov, Sergey %A Santamaria, Alessio %A Schröder, Lutz %A Tsampas, Stelios %A Urbat, Henning %B FoSSaCS (2) %D 2024 %E Kobayashi, Naoki %E Worrell, James %I Springer %K dblp %P 47-69 %T Logical Predicates in Higher-Order Mathematical Operational Semantics. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2024-2.html#GoncharovSSTU24 %V 14575 %@ 978-3-031-57231-9

@inproceedings{conf/fossacs/GoncharovSSTU24, added-at = {2024-04-14T00:00:00.000+0200}, author = {Goncharov, Sergey and Santamaria, Alessio and Schröder, Lutz and Tsampas, Stelios and Urbat, Henning}, biburl = {https://www.bibsonomy.org/bibtex/2f1c246d7d78e71a168329c26fb968c18/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_3}, interhash = {a44fc09a83a2295bcd745e50d29caae2}, intrahash = {f1c246d7d78e71a168329c26fb968c18}, isbn = {978-3-031-57231-9}, keywords = {dblp}, pages = {47-69}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-15T07:03:27.000+0200}, title = {Logical Predicates in Higher-Order Mathematical Operational Semantics.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2024-2.html#GoncharovSSTU24}, volume = 14575, year = 2024 }