Sortiert nach
Transactions of the American Mathematical Society, 2014-03, Vol.366 (3), p.1455-1474
2014
Link zum Volltext
Proceedings of the American Mathematical Society, 2013-09, Vol.141 (9), p.3275-3289
2013
Link zum Volltext
Computers & operations research, 2024-09, Vol.169, p.106724, Article 106724
2024
Link zum Volltext
Logical methods in computer science, 2007-04, Vol.3, Issue 2
2007
Link zum Volltext
Theoretical computer science, 2023-02, Vol.947, p.113705, Article 113705
2023
Link zum Volltext
Theoretical computer science, 2016-01, Vol.612, p.137-152
2016
Link zum Volltext
Annals of pure and applied logic, 2002-06, Vol.115 (1), p.71-113
2002
Link zum Volltext
1, 2001
Link zum Volltext
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014, p.1-9
2014
Link zum Volltext
Proceedings of the American Mathematical Society, 2007-11, Vol.135 (11), p.3711-3721
2007
Link zum Volltext
SIAM journal on computing, 2022-04, Vol.51 (2), p.STOC17-152-STOC17-188
2022
Link zum Volltext
Developments in Language Theory, 2018, Vol.11088, p.24-35
2018
Link zum Volltext
2012, 2012
Link zum Volltext
Theoretical computer science, 2015, Vol.562, p.227-242
2015
Link zum Volltext
Information processing letters, 2019-09, Vol.149, p.19-24
2019
Link zum Volltext
IEEE INFOCOM 2022 - IEEE Conference on Computer Communications, 2022, p.1109-1118
2022
- Link zum Volltext
Mobile Computing, Applications, and Services, p.112-128
Link zum Volltext
Mobile Computing, Applications, and Services, p.85-98
Link zum Volltext
The Journal of symbolic logic, 2016-06, Vol.81 (2), p.463-482
2016
Link zum Volltext
Implementation and Application of Automata, p.3-11
Link zum Volltext
Annals of pure and applied logic, 2014-07, Vol.165 (7-8), p.1263-1290
2014
Link zum Volltext
Theoretical computer science, 2016-05, Vol.626, p.83-96
2016
Link zum Volltext
Theory of computing systems, 2017-11, Vol.61 (4), p.1254-1287
2017
Link zum Volltext
Algorithmica, 2016-12, Vol.76 (4), p.1160-1180
2016
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Mathematics
- Physical Sciences
- Logic
- Science & Technology - Other Topics
- Mathematics, Applied
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Algebra
- Theoretical Computing
- Mathematical Logic
- Theory Of Computation
- Finite Automaton
- Algorithms
- Model Theory
- Automatic Structures
Kollektion
- IngentaConnect Journals
- EZB Electronic Journals Library
- SpringerLink Series
- ScienceDirect
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Ebook Central Perpetual and DDA
- JSTOR
- eBooks on EBSCOhost
- Project Euclid Journals
- Cambridge Journals Online (DEFF)
- IEEE/IET Electronic Library (IEL)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink (Online service)
- ACM Digital Library
- Cambridge University Press online books
- Cambridge Core All Books
- IngentaConnect Journals
- American Mathematical Society Publications
- Wiley Online Library
- EBSCOhost Business Source Ultimate
Zeitschrift / Serie
- Annals Of Pure And Applied Logic
- Theoretical Computer Science
- The Journal Of Symbolic Logic
- Archive For Mathematical Logic
- The Bulletin Of Symbolic Logic
- Electronic Notes In Theoretical Computer Science
- Mathematical Logic Quarterly
- Notre Dame Journal Of Formal Logic
- Proceedings Of The American Mathematical Society
- Acm Transactions On Computational Logic
Neu hinzugefügt