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.dagstuhl.de/rec/journals/tcs/BookO81.rdf
Ronald V. Book and Colm Ó'Dúnlaing: Testing for the Church-Rosser Property. (1981) journals/tcs/BookO81 10.1016/0304-3975(81)90078-5 Testing for the Church-Rosser Property. 2 Ronald V. Book 1 Colm Ó'Dúnlaing 2 223-229 Theor. Comput. Sci. Theor. Comput. Sci. 16 1981 provenance information for RDF data of dblp record 'journals/tcs/BookO81' 2021-02-17T22:00:05+0100