Moshe Y. Vardi

Moshe Y. Vardi

Rice University
Verified email at cs.rice.edu
Cited by 61050
Logic and Computation
raymond turner

raymond turner

Professor logic and computation Essex University
Verified email at essex.ac.uk
Cited by 2507
Logic and computation