Sortiert nach
Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich.
mehr Informationen...
Discrete Applied Mathematics, 2019-09, Vol.268, p.191-209
2019
Link zum Volltext
Logical methods in computer science, 2018-01, Vol.14, Issue 4
2018
Link zum Volltext
Algorithms, 2019-09, Vol.12 (9), p.189
2019
Link zum Volltext
SIAM journal on computing, 2006-01, Vol.36 (1), p.207-229
2006
Link zum Volltext
Discrete Applied Mathematics, 2021-11, Vol.303, p.186-202
2021
Link zum Volltext
Information and computation, 1996-02, Vol.125 (1), p.1-12
1996
Link zum Volltext
The Journal of artificial intelligence research, 2018-01, Vol.61, p.807-834
2018
Link zum Volltext
Logical methods in computer science, 2012-09, Vol.8, Issue 3
2012
Link zum Volltext
Journal of computer and system sciences, 2014-03, Vol.80 (2), p.427-449
2014
Link zum Volltext
Theory of computing systems, 2017-05, Vol.60 (4), p.737-758
2017
Link zum Volltext
ACM transactions on computational logic, 2016-07, Vol.17 (3), p.1-28
2016
Link zum Volltext
Lecture Notes in Computer Science, 2016, Vol.9710
2016
Link zum Volltext
2008 edition., 2008
Link zum Volltext
Discrete Mathematics and Theoretical Computer Science, 2007-01, Vol.DMTCS Proceedings vol. AH,... (Proceedings), p.109-122
2007
Link zum Volltext
ACM transactions on computational logic, 2014-07, Vol.15 (3), p.1-20
2014
Link zum Volltext
Journal of computer and system sciences, 2014-02, Vol.80 (2), p.427-449
2014
Link zum Volltext
European journal of combinatorics, 2013-07, Vol.34 (5), p.793-805
2013
Link zum Volltext
Journal of computer and system sciences, 2008, Vol.74 (7), p.1103-1115
2008
Link zum Volltext
Language and Automata Theory and Applications, p.183-195
Link zum Volltext
Symbolic and Quantitative Approaches to Reasoning with Uncertainty, p.387-397
Link zum Volltext
Journal of logic and computation, 2012-10, Vol.22 (5), p.1145-1170
2012
Link zum Volltext
SIAM journal on computing, 2007, Vol.36 (1), p.207-229
2007
Link zum Volltext
ACM transactions on computational logic, 2012-04, Vol.13 (2), p.1-22
2012
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
- Computational Complexity
- Mathematics
- Artificial Intelligence
- Physical Sciences
- Complexity
- Logic
- Logic In Computer Science
- Science & Technology - Other Topics
- Discrete Mathematics
- Exact Sciences And Technology
- Applied Sciences
- Computer Science, Artificial Intelligence
- Computer Science; Control Theory; Systems
- Mathematics, Applied
- Theoretical Computing
- Satisfiability
Kollektion
- IngentaConnect Journals
- Ebook Central Perpetual and DDA
- Springer Books
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- HEAL-Link subscriptions: Springer Book Series
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- EBSCOhost Business Source Ultimate
- SpringerLink Journals - AutoHoldings
- Cambridge Journals Online (DEFF)
- Oxford University Press Journals Current
- Journals@Ovid
- Taylor & Francis Journals Complete
- IngentaConnect Journals
- IEEE/IET Electronic Library (IEL)
Zeitschrift / Serie
- Acm Transactions On Computational Logic
- Discrete Applied Mathematics
- Journal Of Computer And System Sciences
- European Journal Of Combinatorics
- Logical Methods In Computer Science
- Theory Of Computing Systems
- Annals Of Mathematics And Artificial Intelligence
- Combinatorics, Probability & Computing
- Information And Computation
- Journal Of Logic And Computation