Rolf Backofen (backofen)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Backofen, Rolf, Rogers, James and Vijay-Shankar, K. 1995. “A First-Order Axiomatization of the Theory of Finite Trees.” Journal of Logic, Language, and Information 4(1): 5–39.