Labelled superposition for PLTL

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISSN
0946-011X
Umfang
Online-Ressource
Sprache
Englisch

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

Klassifikation
Mathematik

Ereignis
Veröffentlichung
(wo)
Saarbrücken
(wer)
Max-Planck-Institut für Informatik
(wann)
2012
Urheber
Suda, Martin
Weidenbach, Christoph
Beteiligte Personen und Organisationen
Max-Planck-Institut für Informatik

URN
urn:nbn:de:101:1-2015031012327
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:54 MEZ

Datenpartner

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

Beteiligte

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

Entstanden

  • 2012

Ähnliche Objekte (12)

Labelled superposition

Hochschulschrift

Labelled superposition

Superposition : Roman

Buch

Superposition : Roman

Superposition modulo theory

Hochschulschrift

Superposition modulo theory

Associative commutative superposition

Associative commutative superposition

Labelled love

Erzählende Literatur | Fiktionale Darstellung

Labelled love

Superposition theorem proving for commutative algebraic theories

Hochschulschrift

Superposition theorem proving for commutative algebraic theories

Superposition theorem proving for commutative algebraic theories

Hochschulschrift | Online-Publikation

Superposition theorem proving for commutative algebraic theories

Measuring a coherent superposition

Measuring a coherent superposition

1. Introduction to Superposition

zweidimensionales bewegtes Bild

1. Introduction to Superposition

Superposition: Types and Induction

Hochschulschrift

Superposition: Types and Induction

Rotational Quantum Superposition Tests

Rotational Quantum Superposition Tests

Hierarchic Superposition With Weak Abstraction

Hierarchic Superposition With Weak Abstraction

Verbundene Objekte