DBLP Record 'conf/lpnmr/PearceV07'

BibTeX

@inproceedings{DBLP:conf/lpnmr/PearceV07,
  author    = {David Pearce and
               Agust\'{\i}n Valverde},
  title     = {Interpretability and Equivalence in Quantified Equilibrium
               Logic},
  booktitle = {CENT},
  year      = {2007},
  ee        = {http://ceur-ws.org/Vol-265/CENT2007-paper7.pdf},
  crossref  = {DBLP:conf/lpnmr/2007cent},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/lpnmr/2007cent,
  editor    = {David Pearce and
               Axel Polleres and
               Agust\'{\i}n Valverde and
               Stefan Woltran},
  title     = {Proceedings of the LPNMR'07 Workshop on Correspondence and
               Equivalence for Nonmonotonic Theories (CENT2007), Tempe,
               AZ, May 14, 2007},
  booktitle = {CENT},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  volume    = {265},
  year      = {2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}