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
Patrick Blackburn, Wilfried Meyer-Viol and Maarten de Rijke. A Proof System for Finite Trees. In H. Kleine BŁning editor, Computer Science Logic. 9th International Workshop (CSL '95), (1092):86-105, Springer, Berlin, 1995.   Bibtex entry  google
Last modified: Thu October 16 2014 19:11:34         BibAdmin