Sortiert nach
Electronic proceedings in theoretical computer science, 2010-03, Vol.21 (Proc. RULE 2009), p.51-63
2010
Link zum Volltext
Information and computation, 2010-02, Vol.208 (2), p.140-164
2010
Link zum Volltext
Electronic proceedings in theoretical computer science, 2011-09, Vol.66
2011
Link zum Volltext
Theoretical computer science, 2006-07, Vol.357 (1), p.53-69
2006
Link zum Volltext
Algebra, Meaning, and Computation, 2006, p.497-520
2006
Link zum Volltext
Theoretical computer science, 2002-08, Vol.285 (2), p.155-185
2002
Link zum Volltext
Journal of automated reasoning, 2003-09, Vol.31 (1), p.33-72
2003
Link zum Volltext
Revue Quart Monde, 2021-09
2021
Link zum Volltext
Lecture notes in computer science, 2006, p.497-520
2006
Link zum Volltext
Theoretical computer science, 2010-08, Vol.411 (37), p.3301-3327
2010
Link zum Volltext
Annals of mathematics and artificial intelligence, 2009-02, Vol.55 (1-2), p.123-154
2009
Link zum Volltext
Algebraic Methodology and Software Technology, 2006, p.51-65
2006
Link zum Volltext
Journal of symbolic computation, 2010-05, Vol.45 (5), p.523-550
2010
Link zum Volltext
Functional and Constraint Logic Programming, p.13-26
Link zum Volltext
Logical Foundations of Computer Science, p.115-131
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
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Mathematics
- Logic In Computer Science
- Theoretical Computing
- Physical Sciences
- Programming Languages
- Sciences And Techniques Of General Use
- Artificial Intelligence
- Other
- Software Engineering
- Programming Techniques
- Computer Science, Artificial Intelligence
- Computer Science, Software Engineering
- Equational Theory
Kollektion
- IngentaConnect
- eBooks on EBSCOhost
- Springer Books
- Ebook Central Perpetual and DDA
- SpringerLink Series
- EZB Free E-Journals
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- Journals@Ovid Complete
- Springer Nature - Complete Springer Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Cambridge Journals Online (DEFF)
- ACM Digital Library
- JSTOR Complete Journals
- IEEE Electronic Library (IEL)
- EBSCOhost Business Source Ultimate
- Oxford Journals
- Mohr Siebeck Zeitschriften Online
- Taylor & Francis Journals Complete
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Theoretical Computer Science
- Journal Of Symbolic Computation
- Journal Of Institutional And Theoretical Economics
- Mathematical Structures In Computer Science
- Journal Of Automated Reasoning
- Atmospheric Environment
- Electronic Proceedings In Theoretical Computer Science
- Higher-Order And Symbolic Computation
- Hospital Practice