BibTeX record conf/lics/ComonNR95

download as .bib file

@inproceedings{DBLP:conf/lics/ComonNR95,
  author    = {Hubert Comon and
               Robert Nieuwenhuis and
               Albert Rubio},
  title     = {Orderings, AC-Theories and Symbolic Constraint Solving (Extended Abstract)},
  booktitle = {Proceedings, 10th Annual {IEEE} Symposium on Logic in Computer Science,
               San Diego, California, USA, June 26-29, 1995},
  pages     = {375--385},
  year      = {1995},
  crossref  = {DBLP:conf/lics/1995},
  url       = {https://doi.org/10.1109/LICS.1995.523272},
  doi       = {10.1109/LICS.1995.523272},
  timestamp = {Thu, 25 May 2017 00:42:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lics/ComonNR95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/1995,
  title     = {Proceedings, 10th Annual {IEEE} Symposium on Logic in Computer Science,
               San Diego, California, USA, June 26-29, 1995},
  publisher = {{IEEE} Computer Society},
  year      = {1995},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=3961},
  isbn      = {0-8186-7050-9},
  timestamp = {Fri, 21 Nov 2014 14:08:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier