dershowitz93

Nachum Dershowitz. Trees, Ordinals and Termination. In Proc. Theory and Practice of Software Development (TAPSOFT), Orsay, France, M.-C. Gaudel, J.-P. Jouannaud (eds.), Lecture Notes in Computer Science, Volume 668, April 1993.

Keyword

[ Sorting ]

Contact

Nachum Dershowitz

BibTex Reference

@InProceedings{dershowitz93,
   Author = {Dershowitz, Nachum},
   Title = {Trees, Ordinals and Termination},
   BookTitle = {Proc. Theory and Practice of Software Development (TAPSOFT), Orsay, France},
   editor = {Gaudel, M.-C. and Jouannaud, J.-P.},
   Volume = {668},
   Series = {Lecture Notes in Computer Science},
   Publisher = {Springer-Verlag},
   Month = {April},
   Year = {1993}
}

EndNote Reference [help]

Get EndNote Reference (.ref)