Sortiert nach
Entropy (Basel, Switzerland), 2024-01, Vol.26 (5), p.424
2024
Link zum Volltext
Electronic proceedings in theoretical computer science, 2022-09, Vol.370, p.34-48
2022
Link zum Volltext
SIGLOG news, 2024-05, Vol.11 (2), p.84-91
2024
Link zum Volltext
Journal of logical and algebraic methods in programming, 2022-06, Vol.127, p.100778, Article 100778
2022
Link zum Volltext
Theoretical computer science, 2020-10, Vol.837, p.223-246
2020
Link zum Volltext
Principles of Systems Design, p.325-342
Link zum Volltext
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-14
2021
Link zum Volltext
SIGLOG news, 2024-02, Vol.11 (1), p.13-20
2024
Link zum Volltext
Formal Techniques for Distributed Objects, Components, and Systems, 2022, Vol.13273, p.1-10
2022
Link zum Volltext
A Journey from Process Algebra Via Timed Automata to Model Learning, 2022, Vol.13560, p.1-26
2022
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Computer Science, Theory & Methods
- Science & Technology
- Technology
- Bisimilarity
- Equational Logic
- Logic
- Science & Technology - Other Topics
- Algebra
- Axiomatization
- Axioms
- Ccs
- Data Compression
- Decomposition
- Finite Axiomatisations
- Formal Verification
- General And Reference
- General And Reference / Document Types
- General And Reference / Document Types / Reference Works
- Hypothesis Testing
Kollektion
- IngentaConnect Journals
- Ebook Central Perpetual and DDA
- ACM Digital Library
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- HEAL-Link subscriptions: Springer Book Series
- Springer Books
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IEEE Explore
- Elsevier ScienceDirect Journals Complete
Zeitschrift / Serie
Neu hinzugefügt