The following pages link to Shankara Narayanan Krishna (Q537906):
Displaying 4 items.
- Computability Power of Mobility in Enhanced Mobile Membranes (Q3091452) (← links)
- Logical Approaches to Computational Barriers (Q5898848) (← links)
- Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers (Q6488465) (← links)
- An efficient quantifier elimination procedure for Presburger arithmetic (Q6532979) (← links)
