Set of Support for Theory Reasoning (bibtex)
by Giles Reger, Martin Suda
Reference:
Set of Support for Theory ReasoningGiles Reger, Martin SudaIWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017 (Thomas Eiter, David Sands, Geoff Sutcliffe, Andrei Voronkov, eds.), volume 1 of Kalpa Publications in Computing, 2017, EasyChair.
Bibtex Entry:
@inproceedings{DBLP:conf/lpar/RegerS17,
  author    = {Giles Reger and
               Martin Suda},
  title     = {Set of Support for Theory Reasoning},
  booktitle = {IWIL@LPAR 2017 Workshop and {LPAR-21} Short Presentations, Maun, Botswana,
               May 7-12, 2017},
  editor    = {Thomas Eiter and
               David Sands and
               Geoff Sutcliffe and
               Andrei Voronkov},
  series    = {Kalpa Publications in Computing},
  volume    = {1},
  publisher = {EasyChair},                            
  year      = {2017},
  url       = {http://www.easychair.org/publications/paper/346431},
  timestamp = {Tue, 27 Jun 2017 18:13:16 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lpar/RegerS17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
Powered by bibtexbrowser