iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/mfcs/GuoHKV24.rdf
Liye Guo et al.: Higher-Order Constrained Dependency Pairs for (Universal) Computability. (2024) conf/mfcs/GuoHKV24 10.4230/LIPICS.MFCS.2024.57 Higher-Order Constrained Dependency Pairs for (Universal) Computability. 4 Liye Guo 1 Kasper Hagens 2 Cynthia Kop 3 Deivid Vale 4 57:1-57:15 MFCS MFCS 2024 2024 provenance information for RDF data of dblp record 'conf/mfcs/GuoHKV24' 2024-08-26T16:40:52+0200