Sortiert nach
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, p.1-12
2017
Link zum Volltext
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017, p.1-12
2017
Link zum Volltext
Relational and Algebraic Methods in Computer Science, 2021, Vol.13027, p.144-158
2021
Link zum Volltext
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, p.1-13
2022
Link zum Volltext
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, p.252-265
2020
Link zum Volltext
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2016, p.1-10
2016
Link zum Volltext
Foundations of Software Science and Computation Structures, p.436-450
Link zum Volltext
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016, p.377-386
2016
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Computer Science, Theory & Methods
- Logic
- Science & Technology
- Science & Technology - Other Topics
- Technology
- Automata
- Calculus
- Circular Proofs
- Computing Methodologies
- Computing Methodologies -- Symbolic And Algebraic Manipulation
- Computing Methodologies -- Symbolic And Algebraic Manipulation -- Symbolic And Algebraic Algorithms
- Linear Logic
- Theory Of Computation
- Theory Of Computation -- Logic
- Theory Of Computation -- Logic -- Proof Theory
- Coinduction
- Complexity Theory
- Computer Science, Software Engineering
- Contractibility
Kollektion