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.), Lect. Notes Comput. Sci., Springer, 2019. (to appear)
Bibtex Entry:
@string{lncs="Lect. Notes Comput. Sci."}
@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