Resolution decision procedures for the guarded fragment with transitive guards

zu Verbundenen Objekten

Standort: Deutsche Nationalbibliothek Frankfurt am Main

Maße: 30 cm

Umfang: 25 S.

Sprache: Englisch

Anmerkungen: Auch im Internet unter der Adresse http://www.mpi-sb.mpg.de verfügbar

Klassifikation: Informatik

Ereignis: Veröffentlichung

(wo): Saarbrücken

(wer): MPI Informatik, Bibliothek & Dokumentation

(wann): 2004

Urheber: Kazakov, Yevgeny
Nivelle, Hans de

Inhaltsverzeichnis: https://d-nb.info/975718444/04

Rechteinformation: Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.

Letzte Aktualisierung: 11.06.2025, 14:05 MESZ

Datenpartner

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

Beteiligte

Kazakov, Yevgeny
Nivelle, Hans de
MPI Informatik, Bibliothek & Dokumentation

Entstanden

2004

Ähnliche Objekte (12)

Hochschulschrift

7/4-transitive [Transitive] Permutationsgruppen

Hochschulschrift

Resolution based decision procedures for subclasses of first-order logic

Hochschulschrift | Online-Publikation

Resolution-based decision procedures for subclasses of first-order logic

Militärgebäude

Horse Guards

Grafik

Our guards

Artikel

Transitive regret

Transitive modes

Grafik

national (black) guards

Kleinbilddia

London, Horse Guards

The guards waltz

Grafik

The national guards

Druckgrafik (allgemein)

The Life guards

Hochschulschrift

7/4-transitive [Transitive] Permutationsgruppen

Hochschulschrift

Resolution based decision procedures for subclasses of first-order logic

Hochschulschrift | Online-Publikation