Jump to : Contact | BibTex reference | EndNote reference |

BadouelD91

Eric Badouel, Philippe Darondeau. On Guarded Recursion. Theoretical Computer Science, 82(2):403-408, 1991.

Contact

Eric Badouel
Philippe Darondeau

BibTex Reference

@article{BadouelD91,
   Author = {Badouel, Eric and Darondeau, Philippe},
   Title = {On Guarded Recursion},
   Journal = {Theoretical Computer Science},
   Volume = {82},
   Number = {2},
   Pages = {403--408},
   Year = {1991}
}

EndNote Reference [help]

Get EndNote Reference (.ref)