10.22028/D291-25008
Backofen, Rolf
Rogers, James
Vijay-Shanker, K.
A first-order axiomatization of the theory of finite trees
Universität des Saarlandes
1995
Künstliche Intelligenz
004
Universität des Saarlandes
Universität des Saarlandes
2011-07-05
2017-07-12
2011-07-05
1995
en
report
urn:nbn:de:bsz:291-scidok-38181
hdl:20.500.11880/25064