Sortiert nach
Journal of automated reasoning, 2024-03, Vol.68 (1), p.4, Article 4
2024
Link zum Volltext
ACM transactions on programming languages and systems, 2010-03, Vol.32 (3), p.1-70
2010
Link zum Volltext
Information and software technology, 2012-11, Vol.54 (11), p.1192-1201
2012
Link zum Volltext
Logic-Based Program Synthesis and Transformation, p.22-37
Link zum Volltext
Theoretical computer science, 2008-08, Vol.403 (2), p.307-327
2008
Link zum Volltext
Theory and practice of logic programming, 2020-09, Vol.20 (5), p.671-686
2020
Link zum Volltext
Information processing letters, 2015-11, Vol.115 (11), p.882-885
2015
Link zum Volltext
Higher-Order and Symbolic Computation, 2010-03, Vol.23 (1), p.29-86
2010
Link zum Volltext
Theory and practice of logic programming, 2015-07, Vol.15 (4-5), p.711-725
2015
Link zum Volltext
NASA Formal Methods, p.411-430
Link zum Volltext
Static Analysis, p.300-316
Link zum Volltext
Logic-Based Program Synthesis and Transformation, p.205-221
Link zum Volltext
Automated Reasoning, 2018, Vol.10900, p.706-722
2018
Link zum Volltext
Theory and practice of logic programming, 2009-03, Vol.9 (2), p.145-164
2009
Link zum Volltext
Automated Deduction – CADE-23, p.439-445
Link zum Volltext
Proceedings of the ACM SIGPLAN 2014 Workshop on partial evaluation and program manipulation, 2014, p.121-132
2014
Link zum Volltext
Logic-Based Program Synthesis and Transformation, p.194-209
Link zum Volltext
Electronic notes in theoretical computer science, 2009-12, Vol.253 (5), p.83-96
2009
Link zum Volltext
Static Analysis, p.452-467
Link zum Volltext
Theoretical computer science, 2008-08, Vol.403 (2-3), p.307-327
2008
Link zum Volltext
ACM transactions on programming languages and systems, 2010-03, Vol.32 (3)
2010
Link zum Volltext
Information processing letters, 1998, Vol.65 (2), p.57-62
1998
Link zum Volltext
ACM transactions on programming languages and systems, 2006-03, Vol.28 (2), p.256-289
2006
Link zum Volltext
Functional and Logic Programming, p.215-219
Link zum Volltext
Lecture notes in computer science, 2004, p.377-392
2004
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Logic Programming
- Non-Termination
- Abstract Interpretation
- Mathematics
- Static Analysis
- Java
- Logic
- Logic Program
- Programming Languages
- Science & Technology - Other Topics
- Software
- Theoretical Computing
Kollektion
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Journals@Ovid Complete
- ACM Digital Library Complete
- SpringerLink (Online service)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Cambridge Journals Online (DEFF)
- EBSCOhost Business Source Ultimate
- Wiley Online Library - AutoHoldings Journals
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect Journals
- Springer Books
- Single Journals
- MEDLINE
- Wiley Online Library
- IEEE
Zeitschrift / Serie
- Acm Transactions On Programming Languages And Systems
- Theory And Practice Of Logic Programming
- Information Processing Letters
- Theoretical Computer Science
- Biological Invasions
- Blood
- Electronic Notes In Theoretical Computer Science
- Higher-Order And Symbolic Computation
- Information And Software Technology
- International Journal Of Hydrogen Energy
Neu hinzugefügt