RISC RISC Research Institute for Symbolic Computation  
  • @techreport{RISC5169,
    author = {David M. Cerna},
    title = {{Space Complexity of LogicGuard Revisited}},
    language = {english},
    abstract = {We analyse the space complexity of specific formula structures constructed using the core language of the LogicGuard framework. Unlike previous analysis which focused on the local space complex around a single quantifier, in this work we fix the global structure of the formula enough to allow analysis as a whole. Though we end up with precise results for two very specific cases, we show that these cases are upper and lower bounds of arbitrary formulae with similar structure. We ignore cases which need infinite space as previous work deals with them sufficiently.},
    year = {2015},
    month = {October},
    howpublished = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria},
    sponsor = {Supported by the Austrian Research Promotion Agency (FFG) in the frame of the BRIDGE program by the projects 832207 "LogicGuard" and 846003 "LogicGuard II".},
    length = {32},
    type = {Technical Report},
    type = {RISC Report Series},
    institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
    address = {Schloss Hagenberg, 4232 Hagenberg, Austria}