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の話が載ったりするのか.
#Publication - Game semantics and normalization by evaluation | We show that Hyland and Ong’s game semantics for P… https://t.co/lVDEdpKMdH
States of Convex Sets. - Bart Jacobs 0001, Bas Westerbaan, Bram Westerbaan http://t.co/FJqXdjXl1P