285 followers
RT @komorin9502: 後者の原論文 / On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic | Spri…
RT @komorin9502: 後者の原論文 / On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic | Spri…
RT @komorin9502: 後者の原論文 / On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic | Spri…
後者の原論文 / On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic | SpringerLink https://t.co/5lAspGZTp3
Can anybody send me one of these papers (or both)? I am not a subscriber *sigh* http://t.co/EvTnnesj http://t.co/V1158NVB Thanks in advance!