Computer Science – Data Structures and Algorithms
Scientist
Computer Science
Data Structures and Algorithms
Scientist
LIAFA
Automatic generation of simplified weakest preconditions for integrity constraint verification
Complexity of Monadic inf-datalog. Application to temporal logic
Multiple serial episode matching
On relating CTL to Datalog
No associations
LandOfFree
Irene Guessarian does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Irene Guessarian, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Irene Guessarian will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-119128