-
Selection by year
-
Selection by authors
-
Complete lists
BadouelD91
Eric Badouel, Philippe Darondeau. On Guarded Recursion. Theoretical Computer Science, 82(2):403-408, 1991.
Contact
Eric Badouel http://people.rennes.inria.fr/Eric.Badouel/index.html
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)