Search
Login
Services
Deutsch
English
About the Repository
Search and Browse
Publish
Home
→
Fakultäten
→
Fakultät für Elektrotechnik und Informatik
→
Search
JavaScript is disabled for your browser. Some features of this site may not work without it.
Search
Filters
Use filters to refine the search results.
Current Filters:
Publisher DOI
Title
Author
Subject
Dewey Decimal Classification (DDC)
Date issued
xmlui.ArtifactBrowser.SimpleSearch.filter.identifier
xmlui.ArtifactBrowser.SimpleSearch.filter.language
Publisher
Publication Type
Access Rights
Version
Publication Fund
Journal
Date available
Contains
Equals
ID
Not Contains
Not Equals
Not ID
Publisher DOI
Title
Author
Subject
Dewey Decimal Classification (DDC)
Date issued
xmlui.ArtifactBrowser.SimpleSearch.filter.identifier
xmlui.ArtifactBrowser.SimpleSearch.filter.language
Publisher
Publication Type
Access Rights
Version
Publication Fund
Journal
Date available
Contains
Equals
ID
Not Contains
Not Equals
Not ID
Publisher DOI
Title
Author
Subject
Dewey Decimal Classification (DDC)
Date issued
xmlui.ArtifactBrowser.SimpleSearch.filter.identifier
xmlui.ArtifactBrowser.SimpleSearch.filter.language
Publisher
Publication Type
Access Rights
Version
Publication Fund
Journal
Date available
Contains
Equals
ID
Not Contains
Not Equals
Not ID
New Filters:
Publisher DOI
Title
Author
Subject
Dewey Decimal Classification (DDC)
Date issued
xmlui.ArtifactBrowser.SimpleSearch.filter.identifier
xmlui.ArtifactBrowser.SimpleSearch.filter.language
Publisher
Publication Type
Access Rights
Version
Publication Fund
Journal
Date available
Contains
Equals
ID
Not Contains
Not Equals
Not ID
Showing 4 out of a total of 4 results for collection: Fakultät für Elektrotechnik und Informatik.
(0.067 seconds)
Now showing items 1-4 of 4
1
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
Model checking and validity in propositional and modal inclusion logics
Hella, Lauri
;
Kuusisto, Antti
;
Meier, Arne
;
Virtema, Jonni
(
Wadern : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH
,
2017
)
On the complexity of team logic and its two-variable fragment
Lück, 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
)
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
)
Now showing items 1-4 of 4
1
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
Submit new document to repository
Browse
All content
Communities & Collections
By Issue Date
Authors
Titles
Subjects
Subjects (GND)
DDC
License
Type
This Collection
By Issue Date
Authors
Titles
Subjects
Subjects (GND)
DDC
License
Type
My Account
Login
Register
Usage Statistics
of the Repository
of the Collection
Discover
Author
Lück, Martin (2)
Meier, Arne (2)
Virtema, Jonni (2)
Hella, Lauri (1)
Krebs, Andreas (1)
Kuusisto, Antti (1)
Zimmermann, Martin (1)
Subject
Computer circuits (4)
Konferenzschrift (4)
Model checking (4)
Semantics (4)
Complexity (3)
Satisfiability (3)
Satisfiability problems (2)
Team semantics (2)
Algorithmic properties (1)
Atomic operator (1)
... View More
Date Issued
2018 (3)
2017 (1)
Language (ISO)
eng (4)