Search

Filters

Use filters to refine the search results.

Current Filters:


New Filters:

Showing 10 out of a total of 13 results for collection: Fakultät für Elektrotechnik und Informatik. (0.093 seconds)

Now showing items 1-10 of 13

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

A van Benthem theorem for modal team semantics

Kontinen, Juha; Müller, Julian-Steffen; Schnoor, Henning; Vollmer, Heribert (Wadern : Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, 2015)
Team semantics for the specification and verification of hyperproperties

Krebs, Andreas; Meier, Arne; Virtema, Jonni; Zimmermann, Martin (Wadern : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2018)
Canonical models and the complexity of modal team logic

Lück, Martin (Wadern : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2018)
On the implicit graph conjecture

Chandoo, Maurice (Saarbrücken : Dagstuhl Publishing, 2016)
Descriptive complexity of #AC0 functions

Durand, Arnaud; Haak, Anselm; Kontinen, Juha; Vollmer, Heribert (Saarbrücken : Dagstuhl Publishing, 2016)
Decidability of predicate logics with team semantics

Kontinen, Juha; Kuusisto, Antti; Virtema, Jonni (Saarbrücken : Dagstuhl Publishing, 2016)
Risk analysis with a fuzzy-logic approach of a complex installation

Peikert, Tim; Garbe, Heyno; Potthast, S. (Göttingen : Copernicus GmbH, 2016)
Axiomatizing propositional dependence logics

Sano, Katsuhiko; Virtema, Jonni (Wadern : Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, 2015)
On quantified propositional logics and the exponential time hierarchy

Hannula, Miika; Kontinen, Juha; Lück, Martin; Virtema, Jonni (Waterloo, NSW : Open Publishing Association, 2016)
Axiomatizations for propositional and modal team logic

Lück, Martin (Wadern : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, 2016)