Sortiert nach
Logical methods in computer science, 2021-08, Vol.17, Issue 3 (3), p.17:1-17:64
2021
Link zum Volltext
Information and computation, 2022-05, Vol.285, p.104911, Article 104911
2022
Link zum Volltext
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, p.1-13
2022
Link zum Volltext
ACM transactions on computational logic, 2021-06, Vol.22 (2), p.1-56
2021
Link zum Volltext
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, p.167-180
2020
Link zum Volltext
Distributed Applications and Interoperable Systems, p.201-208
Link zum Volltext
Logics in Artificial Intelligence, p.692-708
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Logic
- Science & Technology - Other Topics
- Separation Logic
- Complexity
- Logic In Computer Science
- Adjunct/quantifier Elimination
- Agent Belief
- Computational Tree Logic
- Computer Science - Logic In Computer Science
- Computer Science, Artificial Intelligence
- Computer Science, Hardware & Architecture
- Computer Science, Information Systems
- Computer Science, Software Engineering
- Convex Polyhedra
- Decision Problems
- Expressive Power
Kollektion
Zeitschrift / Serie