Laboratoire de l'Informatique et du Parallélisme » Linear Arithmetic

@article{GaboardiMarionRonchi12,

  author    = {Marco Gaboardi and

               Jean{-}Yves Marion and

               Simona Ronchi Della Rocca},

  title     = {An Implicit Characterization of {PSPACE}},

  journal   = {{ACM} Trans. Comput. Log.},

  volume    = {13},

  number    = {2},

  pages     = {18:1--18:36},

  year      = {2012},

  url       = {http://doi.acm.org/10.1145/2159531.2159540},

  doi       = {10.1145/2159531.2159540},

  timestamp = {Mon, 09 Jan 2017 14:08:26 +0100},

  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tocl/GaboardiMR12},

  bibsource = {dblp computer science bibliography, http://dblp.org}

}

@article{Strahm03,

  author    = {Thomas Strahm},

  title     = {Theories with self-application and computational complexity},

  journal   = {Inf. Comput.},

  volume    = {185},

  number    = {2},

  pages     = {263--297},

  year      = {2003},

  url       = {http://dx.doi.org/10.1016/S0890-5401(03)00086-5},

  doi       = {10.1016/S0890-5401(03)00086-5},

  timestamp = {Thu, 20 Nov 2003 12:03:25 +0100},

  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/iandc/Strahm03},

  bibsource = {dblp computer science bibliography, http://dblp.org}

}