Matches in DBpedia 2015-10 for { <http://doi.org/10.1016/S1571-0661(04)00269-5> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- S1571-0661(04)00269-5 doi "10.1016/S1571-066100269-5".
- S1571-0661(04)00269-5 first1 "Quang-Huy".
- S1571-0661(04)00269-5 isCitedBy Abstract_rewriting_machine.
- S1571-0661(04)00269-5 journal Electronic_Notes_in_Theoretical_Computer_Science.
- S1571-0661(04)00269-5 last1 "Nguyen".
- S1571-0661(04)00269-5 pages "87–84".
- S1571-0661(04)00269-5 title "Compact Normalisation Trace via Lazy Rewriting".
- S1571-0661(04)00269-5 url "http://hal.inria.fr/docs/00/10/78/74/PDF/A01-R-139.pdf".
- S1571-0661(04)00269-5 volume "57".
- S1571-0661(04)00269-5 year "2001".