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 proceedings in theoretical computer science, 2023, Vol.389, p.152-166
2023
Volltextzugriff (PDF)
Fundamenta informaticae, 2020-01, Vol.173 (2-3), p.191-215
2020
Volltextzugriff (PDF)
International Conference on Software Engineering 2008, 2008, Vol.2008 (24), p.221-230
2008
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2021-04, Vol.120, p.100644, Article 100644
2021
Volltextzugriff (PDF)
The journal of logic and algebraic programming, 2010-08, Vol.79 (6), p.397-434
2010
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2019, Vol.303 (Proc. FROM 2019), p.16-31
2019
Volltextzugriff (PDF)
Logical methods in computer science, 2019-01, Vol.15, Issue 2
2019
Volltextzugriff (PDF)
Information and computation, 2009-02, Vol.207 (2), p.305-340
2009
Volltextzugriff (PDF)
Automated Reasoning with Analytic Tableaux and Related Methods, p.446-476
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2016-01, Vol.85 (1), p.98-120
2016
Volltextzugriff (PDF)
Rewriting Logic and Its Applications, 2014, Vol.8663, p.97-112
2014
Volltextzugriff (PDF)
Theoretical computer science, 2009-03, Vol.410 (12), p.1109-1128
2009
Volltextzugriff (PDF)
Theoretical computer science, 2004, Vol.310 (1), p.233-246
2004
Volltextzugriff (PDF)
Runtime Verification, p.136-150
Volltextzugriff (PDF)
Journal of ambient intelligence and humanized computing, 2014-08, Vol.5 (4), p.491-510
2014
Volltextzugriff (PDF)
Rewriting Logic and Its Applications, p.104-122
Volltextzugriff (PDF)
Membrane Computing, p.374-393
Volltextzugriff (PDF)
Journal of ambient intelligence and humanized computing, 2010-09, Vol.1 (3), p.163-184
2010
Volltextzugriff (PDF)
Rewriting and Typed Lambda Calculi, p.425-440
Volltextzugriff (PDF)
Runtime Verification, p.46-67
Volltextzugriff (PDF)
Formal Methods – The Next 30 Years, p.593-610
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.19-34
2006
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2014-06, Vol.304, p.3-56
2014
Volltextzugriff (PDF)
Rewriting Logic and Its Applications, 2016, Vol.9942, p.152-166
2016
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Mathematics
- Logic
- Operational Semantics
- Programming Languages
- Exact Sciences And Technology
- Mathematics, Applied
- Physical Sciences
- Science & Technology - Other Topics
- Applied Sciences
- Computer Science, Information Systems
- Computer Science; Control Theory; Systems
- Maude
- Symbolic Execution
- Computer Science, Artificial Intelligence
- Operational Semantic
Kollektion
- Connected Ingenta
- Springer Book Series
- Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals
- Access via ScienceDirect (Elsevier)
- EZB-NALI5-00465 Elsevier Archive NL
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IEEE Electronic Library (IEL)
- SpringerNature Journals
- Access via ACM Digital Library
- ProQuest Dissertations & Theses A&I
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Information And Computation
- Journal Of Ambient Intelligence And Humanized Computing
- Journal Of Logical And Algebraic Methods In Programming
- The Journal Of Logic And Algebraic Programming
- The journal Of Logic And Algebraic Programming
- Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science
- Fundamenta Informaticae
- Journal Of Ambient Intelligence & Humanized Computing/journal Of Ambient Intelligence And Humanized Computing