161 followers
Finished reading: Zena M. Ariola and Hugo Herbelin. Minimal Classical Logic and Control Operators. ICALP 2003. https://t.co/b57pAtb2Pf
Finished reading: Zena M. Ariola and Hugo Herbelin. Minimal Classical Logic and Control Operators. ICALP 2003. https://t.co/b57pAtb2Pf
RT @sinya8282: A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems https://t.co…
A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems https://t.co/Ft2czMk0z9
Monadic Second-Order Logics with Cardinalities https://t.co/NHF27vDMdY ふーむ.