%0 Book %1 books/hal/Durand05 %A Durand, Irène %D 2005 %K dblp %T Call by need computations in orthogonal term rewriting systems.

@book{books/hal/Durand05, added-at = {2017-09-28T00:00:00.000+0200}, author = {Durand, Irène}, biburl = {https://www.bibsonomy.org/bibtex/2aab8d2175d9c2788a7dfd41175f90a83/dblp}, ee = {https://tel.archives-ouvertes.fr/tel-00599195}, interhash = {00a3ea196d31e6b11eecf89a72b6df9b}, intrahash = {aab8d2175d9c2788a7dfd41175f90a83}, keywords = {dblp}, school = {University of Bordeaux, France}, timestamp = {2017-12-07T22:30:45.000+0100}, title = {Call by need computations in orthogonal term rewriting systems.}, year = 2005 }