824 followers
RT @sinya8282: On Presburger Arithmetic Extended with Modulo Counting Quantifiers https://t.co/S3RM0Zxghh FoSSaCS'15とかでもQEの話が載ったりするのか.
RT @sinya8282: On Presburger Arithmetic Extended with Modulo Counting Quantifiers https://t.co/S3RM0Zxghh FoSSaCS'15とかでもQEの話が載ったりするのか.
On Presburger Arithmetic Extended with Modulo Counting Quantifiers https://t.co/S3RM0Zxghh FoSSaCS'15とかでもQEの話が載ったりするのか.