Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Electronic notes in theoretical computer science, 2006-05, Vol.159, p.205-226
2006
Volltextzugriff (PDF)
Rewriting Logic and Its Applications, 2018, p.1-25
2018
Volltextzugriff (PDF)
Theoretical computer science, 2006-08, Vol.359 (1-3), p.378-399
2006
Volltextzugriff (PDF)
Information and software technology, 2007-03, Vol.49 (3), p.275-291
2007
Volltextzugriff (PDF)
Journal of automated reasoning, 2007-05, Vol.38 (4), p.303-351
2007
Volltextzugriff (PDF)
Theoretical computer science, 2005-12, Vol.347 (3), p.465-497
2005
Volltextzugriff (PDF)
Theoretical computer science, 2003-06, Vol.302 (1), p.135-165
2003
Volltextzugriff (PDF)
Theoretical computer science, 2006-08, Vol.360 (1-3), p.352-372
2006
Volltextzugriff (PDF)
Information processing letters, 2006, Vol.99 (3), p.111-118
2006
Volltextzugriff (PDF)
12th Working Conference on Reverse Engineering (WCRE'05), 2005, p.10 pp.-22
2005
Volltextzugriff (PDF)
Theoretical computer science, 2000-07, Vol.242 (1), p.477-498
2000
Volltextzugriff (PDF)
IEEE transactions on knowledge and data engineering, 1994-10, Vol.6 (5), p.738-749
1994
Volltextzugriff (PDF)
Automata, Languages and Programming, 2005, p.316-330
2005
Volltextzugriff (PDF)
Lecture notes in computer science, 2002, p.51-63
2002
Volltextzugriff (PDF)
International Conference on Principles and Practice of Declarative Programming: Proceedings of the 9th ACM SIGPLAN international symposium on Principles and practice of declarative programming; 14-16 July 2007, 2007, p.97-108
2007
Volltextzugriff (PDF)
Annual Symposium on Principles of Programming Languages: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages : New Orleans, Louisiana, USA; 15-17 Jan. 2003, 2003, p.62-73
2003
Volltextzugriff (PDF)
International Conference on Principles and Practice of Declarative Programming: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming; 27-29 Aug. 2003, 2003, p.148-159
2003
Volltextzugriff (PDF)
IEEE transactions on software engineering, 1980-01, Vol.SE-6 (1), p.24-32
1980
Volltextzugriff (PDF)
Artificial Intelligence, Automated Reasoning, and Symbolic Computation, p.51-63
Volltextzugriff (PDF)
IEEE transactions on software engineering, 1984-09, Vol.SE-10 (5), p.574-588
1984
Volltextzugriff (PDF)
Rewriting Techniques and Applications, 1987, p.168-179
1987
Volltextzugriff (PDF)
International Conference on Principles and Practice of Declarative Programming: Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming; 10-12 July 2006, 2006, p.121-132
2006
Volltextzugriff (PDF)
International Conference on Principles and Practice of Declarative Programming: Proceedings of the 9th ACM SIGPLAN international symposium on Principles and practice of declarative programming; 14-16 July 2007, 2007, p.167-178
2007
Volltextzugriff (PDF)
Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, 2004, p.25-26
2004
Volltextzugriff (PDF)
International Conference on Principles and Practice of Declarative Programming: Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming; 06-08 Oct. 2002, 2002, p.145-155
2002
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Theory Of Computation -- Formal Languages And Automata Theory -- Formalisms -- Rewrite Systems
- Theory Of Computation -- Formal Languages And Automata Theory -- Grammars And Context-Free Languages
- Applied Sciences
- Computer Science, Theory & Methods
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Theoretical Computing
- Algorithmics. Computability. Computer Arithmetics
- Automata. Abstract Machines. Turing Machines
- Computer Science, Software Engineering
- Mathematics
- Rewrite Rules
- Theory Of Computation -- Semantics And Reasoning
- Programming Languages
- Sciences And Techniques Of General Use
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning
- Theory Of Computation -- Semantics And Reasoning -- Program Semantics -- Algebraic Semantics
Kollektion
- Ingenta
- ACM Digital Library
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- EZB Electronic Journals Library
- IEEE Xplore
- SpringerLink Series
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IngentaConnect Journals
- Journals@Ovid Full Text
- SpringerLink
Zeitschrift / Serie
- Theoretical Computer Science
- Ieee Transactions On Software Engineering
- Electronic Notes In Theoretical Computer Science
- Ieee Trans. Software Eng.;
- Ieee Transactions On Knowledge And Data Engineering
- Information And Software Technology
- Information Processing Letters
- Journal Of Automated Reasoning
- Proceedings Of The First Ipm International Workshop On Foundations Of Software Engineering