Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
Tel-Aviv Academic College
Bounded Termination of Monotonicity-Constraint Transition Systems
Monotonicity Constraints for Termination in the Integer Domain
On Decidable Growth-Rate Properties of Imperative Programs
Ranking Functions for Size-Change Termination II
SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers
No associations
LandOfFree
Amir M. Ben-Amram does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Amir M. Ben-Amram, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Amir M. Ben-Amram will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-118164