Optimal Satisfiability Checking for Arithmetic mu-Calculi (bibtex)
by Daniel Hausmann, Lutz Schröder
Reference:
Optimal Satisfiability Checking for Arithmetic mu-Calculi (Daniel Hausmann, Lutz Schröder), In Proc. Foundations of Software Science and Computation Structures, FoSSaCS 2019 (Mikolaj Bojanczyk, Alex Simpson, eds.), LNCS, Springer, 2019. (to appear)
Bibtex Entry:
@inproceedings{HausmannSchroder19,
   author = {Daniel Hausmann and Lutz Schr{\"o}der},
   title = {Optimal Satisfiability Checking for Arithmetic mu-Calculi},
   booktitle = {Proc. Foundations of Software Science and Computation Structures, FoSSaCS 2019},
   editor = {Mikolaj Bojanczyk and Alex Simpson},
   publisher = {Springer},
   series = {LNCS},
   note = {to appear},
   year = {2019},
   }
Powered by bibtexbrowser