IndexBrowse   BibliographiesMy selection
 Search: in   (word length ≥ 3)
      Login
Reference no #212   Download bibtex file Type :   Html | Bib | Both
    Created: 2007-12-12 11:30:28
212 Add to my selection
@InProceedings{Blackburn_et_al:1995_2,
      AUTHOR = {Blackburn, Patrick and Meyer-Viol, Wilfried and de Rijke, Maarten},
      TITLE = {A Proof System for Finite Trees},
      YEAR = {1995},
      BOOKTITLE = {Computer Science Logic. 9th International Workshop (CSL '95)},
      NUMBER = {1092},
      PAGES = {86-105},
      EDITOR = {Kleine BŁning, H.},
      SERIES = {Lecture Notes in Computer Science},
      ADDRESS = {Berlin},
      PUBLISHER = {Springer}
}
Last modified: Thu October 16 2014 19:11:34         BibAdmin