Monografie

Labelled superposition for PLTL

Sprache
Englisch
ISBN
0946-011X
Identifier
1068252006

Reihe
Max-Planck-Institut für Informatik : Research report; MPI-2012-RG1-001

Beteiligte Personen und Organisationen
Suda, Martin
Weidenbach, Christoph
Max-Planck-Institut für Informatik

URN
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
26.01.2023, 13:53 MEZ

Datenpartner

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

Objekttyp

  • Monografie

Beteiligte

  • Suda, Martin
  • Weidenbach, Christoph
  • Max-Planck-Institut für Informatik