Sortiert nach
Logical methods in computer science, 2012-09, Vol.8, Issue 3
2012
Link zum Volltext
Nature communications, 2020-09, Vol.11 (1), p.4381-4381, Article 4381
2020
Link zum Volltext
Computer Science Logic, 2006, p.411-425
2006
Link zum Volltext
Logic and Games on Automatic Structures, p.1-15
Link zum Volltext
Journal of logic, language, and information, 2010-10, Vol.19 (4), p.395-412
2010
Link zum Volltext
Logical methods in computer science, 2012-09, Vol.8, Issue 3
2012
Link zum Volltext
Theory and Applications of Satisfiability Testing – SAT 2014, p.430-437
Link zum Volltext
Theory of computing systems, 2014-11, Vol.55 (4), p.856-880
2014
Link zum Volltext
Theory of computing systems, 2010-10, Vol.47 (3), p.696-719
2010
Link zum Volltext
Theoretical computer science, 2012-12, Vol.463, p.2-25
2012
Link zum Volltext
Mathematical Foundations of Computer Science 2009, p.415-426
Link zum Volltext
Computer Science Logic, p.366-380
Link zum Volltext
Foundations of Software Science and Computational Structures, p.252-266
Link zum Volltext
Automata, Languages and Programming, p.404-415
Link zum Volltext
Mathematical Foundations of Computer Science 2012, p.160-171
Link zum Volltext
The Journal of symbolic logic, 2011-06, Vol.76 (2), p.603-619
2011
Link zum Volltext
Computer Science Logic, p.117-131
Link zum Volltext
Fundamentals of Computation Theory, p.169-180
Link zum Volltext
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015, p.677-688
2015
- Link zum Volltext
Foundations of Software Science and Computational Structures, 2005, p.470-489
2005
Link zum Volltext
2022 International Joint Conference on Neural Networks (IJCNN), 2022, p.1-8
2022
- Link zum Volltext
Theory and Applications of Satisfiability Testing – SAT 2013, Vol.7962, p.192-207
Link zum Volltext
Logic and Games on Automatic Structures, 2011, Vol.6810
2011
Link zum Volltext
Logic and Games on Automatic Structures, 2011, Vol.6810
2011
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Logic
- Science & Technology - Other Topics
- Winning Strategy
- Mathematics
- Physical Sciences
- Games
- Model Check
- Automata
- Computation
- Computer Science, Artificial Intelligence
- Imperfect Information
- Model Checking
- Applied Sciences
- Computer Science, Software Engineering
- Game Theory
- Life Sciences & Biomedicine
Kollektion
- Ingenta
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IEEE Electronic Library Online
- Springer Journals
- EBSCOhost Business Source Ultimate
- JSTOR
- Journals@Ovid Ovid Full Text
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Cambridge Journals Online (DEFF)
- ACM Digital Library Complete
- Oxford Journals
- EBSCOhost APA PsycARTICLES
- Oxford Journals 2020 Medicine
- IngentaConnect Journals
- Nature Journals
- Project Euclid
Zeitschrift / Serie