NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1
  • 1
  • Tagged with
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 1 to 2 of 2 (0.075 seconds)

Spelling suggestions: "subject:"axiomatisierbarkeit"" "subject:"automatisierbarkeit""

1

Algorithmische Eigenschaften von Branching-Time Logiken

Bauer, Sebastian 14 January 2007 (has links) (PDF)
Es wird die Axiomatisierbarkeit einer Klasse von temporalen Prädikatenlogiken über verzweigenden Strukturen gezeigt. Entscheidbarkeitsresultate folgen für diverse Fragmente dieser Logiken. Anwendungen werden diskutiert.
Temorallogik
quantifizierte Temporallogik
Axiomatisierbarkeit
Entscheidbarkeit
Fragmante temporaler Prädikatenlogiken
Bäume
temporal logic
first-order temporal logic
axiomatizability
decidability
fragments of first-order temporal logic
branching-time logic
monodic fragments
ddc:100
rvk:SK 130
rvk:CC 2600
Temporale Logik
2

Algorithmische Eigenschaften von Branching-Time Logiken

Bauer, Sebastian 18 April 2006 (has links)
Es wird die Axiomatisierbarkeit einer Klasse von temporalen Prädikatenlogiken über verzweigenden Strukturen gezeigt. Entscheidbarkeitsresultate folgen für diverse Fragmente dieser Logiken. Anwendungen werden diskutiert.
info:eu-repo/classification/ddc/100
ddc:100
Temporale Logik

Page generated in 0.0801 seconds