Ihr Suchergebnis
| Ergebnis 1 - 1 von 1 1 Gehe zu Seite von 1 | |
| 1. |
Backofen, Rolf ; Rogers, James ; Vijay-Shanker, K.
(1995)
A first-order axiomatization of the theory of finite trees
Kaiserslautern ; Saarbrücken : DFKI, 1995
Report (Bericht)
|
| Ergebnis 1 - 1 von 1 1 Gehe zu Seite von 1 | |