Arthur Charguéraud
Publications
by date
by topic
by venue
Software
OptiTrust
CFML
TLC
PASL
FormalMetaCoq
Teaching
Separation Logic
Coq tutorials
Concours Castor
France-ioi
Misc
The RE command
Home
–
Contact
@InProceedings{manna-shamir-75, author = "Z. Manna and A. Shamir", title = "The optimal fixedpoint of recursive programs", year = "1975", pages = "194--206", publisher = "ACM Press", address = "New York", booktitle = "Proceedings of the 7th Annual ACM Symposium on Theory of Computing, STOC'75 (Albuquerque, NM, May 5-7, 1975)", organization = "ACM", }