BibTeX records: Jaime Bohórquez V.

download as .bib file

@article{DBLP:journals/ndjfl/V08,
  author    = {Jaime Boh{\'{o}}rquez V.},
  title     = {Intuitionistic Logic according to Dijkstra's Calculus of Equational
               Deduction},
  journal   = {Notre Dame Journal of Formal Logic},
  volume    = {49},
  number    = {4},
  pages     = {361--384},
  year      = {2008},
  url       = {https://doi.org/10.1215/00294527-2008-017},
  doi       = {10.1215/00294527-2008-017},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ndjfl/V08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier