DBLP Record 'conf/fossacs/SprengerD03'

BibTeX

@inproceedings{DBLP:conf/fossacs/SprengerD03,
  author    = {Christoph Sprenger and
               Mads Dam},
  title     = {On the Structure of Inductive Reasoning: Circular and Tree-Shaped
               Proofs in the \^{\i}\^{\i}\^{\i}\^{\i}\^{\i}\^{\i}\^{\i}\^{\i}\^{\i}\^{\i}\^{\i}\^{\i}},
  booktitle = {FoSSaCS},
  year      = {2003},
  pages     = {425-440},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2620/26200425.htm},
  crossref  = {DBLP:conf/fossacs/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/fossacs/2003,
  editor    = {Andrew D. Gordon},
  title     = {Foundations of Software Science and Computational Structures,
               6th International Conference, FOSSACS 2003 Held as Part
               of the Joint European Conference on Theory and Practice
               of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003,
               Proceedings},
  booktitle = {FoSSaCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2620},
  year      = {2003},
  isbn      = {3-540-00897-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}