Explaining the decompositionality of monadic second order logic using applications to combinatorics (bibtex)
by Tomer Kotek
Reference:
Explaining the decompositionality of monadic second order logic using applications to combinatoricsTomer Kotek2014, Fun With Formal Methods Workshop (FLoC 2014).
Bibtex Entry:
@Misc{ws:Kotek14,
  author =       {Tomer Kotek},
  title =        {Explaining the decompositionality of monadic second order logic using applications to combinatorics},
  year =         {2014},
  OPTmonth =     {July},
  howpublished = {Fun With Formal Methods Workshop ({FLoC} 2014) },
}
Powered by bibtexbrowser