Sortiert nach
Axioms, 2016-06, Vol.5 (2), p.16
2016
Link zum Volltext
2023
Link zum Volltext
Theoretical computer science, 2006-03, Vol.352 (1), p.190-196
2006
Link zum Volltext
Automata, Languages and Programming, 2005, p.1450-1461
2005
Link zum Volltext
Foundations of Software Science and Computation Structures, 2002, p.205-222
2002
Link zum Volltext
Central European journal of mathematics, 2010, Vol.8 (4), p.662-682
2010
Link zum Volltext
Theory of computing systems, 2014-11, Vol.55 (4), p.833-855
2014
Link zum Volltext
Information processing letters, 2010-04, Vol.110 (10), p.396-398
2010
Link zum Volltext
Theoretical computer science, 2003-06, Vol.303 (1), p.215-231
2003
Link zum Volltext
Theoretical computer science, 1997-12, Vol.189 (1), p.1-69
1997
Link zum Volltext
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023, p.1-13
2023
Link zum Volltext
Lecture notes in computer science, 2001, p.253-267
2001
Link zum Volltext
Computer Science Logic, 2002, p.27-44
2002
Link zum Volltext
Theoretical computer science, 1996-08, Vol.163 (1), p.99-116
1996
Link zum Volltext
Electronic notes in theoretical computer science, 2005-03, Vol.123, p.195-208
2005
Link zum Volltext
The Journal of symbolic logic, 1997-06, Vol.62 (2), p.661-672
1997
Link zum Volltext
The Journal of symbolic logic, 1997-06, Vol.62 (2), p.661-672
1997
Link zum Volltext
Electronic proceedings in theoretical computer science, 2012-10, Vol.96
2012
Link zum Volltext
Mathematical Foundations of Computer Science 1991, 2005, p.367-376
2005
Link zum Volltext
Lecture notes in computer science, 1998, p.320-331
1998
Link zum Volltext
Logic and Program Semantics, p.165-179
Link zum Volltext
PODS, 93: 12th ACM Symposium on the Principles of Database Systems, 1993, p.202-213
1993
Link zum Volltext
Computation Theory, 2005, p.169-176
2005
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
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Theoretical Computing
- Physical Sciences
- Automata
- Automata. Abstract Machines. Turing Machines
- Mathematics, Applied
- Algebra
- Algorithmics. Computability. Computer Arithmetics
- Language Theory And Syntactical Analysis
- Abstract Automata
- Abstract Machines
- Formal Languages
- Logic
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- IngentaConnect Journals
- SpringerLink Series
- EZB Free E-Journals
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IEEE Electronic Library (IEL)
- Springer Nature - Complete Springer Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Cambridge Journals Online (DEFF)
- EBSCOhost Business Source Ultimate
- Jstor Complete Legacy
- Project Euclid
- De Gruyter eBooks
- De Gruyter journals
- ACM Digital Library Complete
- Cambridge University Press online books
- De Gruyter Open Access Books
Zeitschrift / Serie
- Theoretical Computer Science
- The Journal Of Symbolic Logic
- Annals Of Pure And Applied Logic
- Axioms
- Banach Center Publications
- Central European Journal Of Mathematics
- Electronic Notes In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science
- Information And Computation
- Information And Control