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.
@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}
}
|
