On the decision complexity of the bounded theories of trees

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Maße
30 cm
Umfang
26 S.
Sprache
Deutsch
Anmerkungen
Literaturverz. S. 25 - 26

Ereignis
Veröffentlichung
(wo)
Saarbrücken
(wer)
MPI Informatik
(wann)
1996
Urheber
Vorobyov, Sergei

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 13:43 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

  • Vorobyov, Sergei
  • MPI Informatik

Entstanden

  • 1996

Ähnliche Objekte (12)