Probabilistic Logic, Probabilistic Regular Expressions, and Constraint Temporal Logic

Gespeichert in:

Personen und Körperschaften:	Weidner, Thomas, Droste, Manfred, Bollig, Benedikt
Titel:	Probabilistic Logic, Probabilistic Regular Expressions, and Constraint Temporal Logic
Hochschulschriftenvermerk:	Dissertation, Universität Leipzig, 2016
Format:	E-Book Hochschulschrift
Sprache:	Englisch
veröffentlicht:	Online-Ausg.. 2016
Schlagwörter:	Probabilistische Automaten Logik Reguläre Ausdrücke Constraint Ltl Probabilistic Automata Logic Regular Expressions Hochschulschrift
Quelle:	Qucosa

Themen
Schlagwörter:	Probabilistische Automaten Logik Reguläre Ausdrücke Constraint Ltl Probabilistic Automata Logic Regular Expressions Hochschulschrift Probabilistische Automaten Logik Reguläre Ausdrücke Constraint Ltl Probabilistic Automata Logic Regular Expressions Constraint Ltl