@anupamdas

A Complete Axiomatization of MSO on Infinite Trees.

, and . LICS, page 390-401. IEEE Computer Society, (2015)

Links and resources

Tags

community

  • @anupamdas
  • @dblp
@anupamdas's tags highlighted