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.uni-trier.de/rec/journals/tcs/YingW01.ris
Provider: Schloss Dagstuhl - Leibniz Center for Informatics Database: dblp computer science bibliography Content:text/plain; charset="utf-8" TY - JOUR ID - DBLP:journals/tcs/YingW01 AU - Ying, Mingsheng AU - Wirsing, Martin TI - Recursive equations in higher-order process calculi. JO - Theor. Comput. Sci. VL - 266 IS - 1-2 SP - 839 EP - 852 PY - 2001// DO - 10.1016/S0304-3975(00)00378-9 UR - https://doi.org/10.1016/S0304-3975(00)00378-9 ER -