Bossi, Annalisa
University of Calabria
2 papers on CoChat
Most cited papers
- Verified
Preserving universal termination through unfold/fold
Bossi, A., & Cocco, N. (1994) · Lecture Notes in Computer Science
Logic, programming, and type systemsAdvanced Algebra and Logic
Cited by 33
- Verified
Transformation of left terminating programs: The reordering problem
Bossi, A., Cocco, N., & Etalle, S. (1996) · Lecture Notes in Computer Science
Logic, programming, and type systemsLogic, Reasoning, and Knowledge
Cited by 18
Go further with a free account
Verify every reference, keep papers in a library, and ask questions across them.
Sign up - it is free