Sortiert nach
Journal of logical and algebraic methods in programming, 2024-06, Vol.139, p.100974, Article 100974
2024
Link zum Volltext
Lecture notes in computer science, 2003, p.76-87
2003
Link zum Volltext
Automated software engineering, 2022-05, Vol.29 (1), p.7, Article 7
2022
Link zum Volltext
Theory and practice of logic programming, 2024-01, Vol.24 (1), p.57-109
2024
Link zum Volltext
Journal of logical and algebraic methods in programming, 2021-11, Vol.123, p.100700, Article 100700
2021
Link zum Volltext
Electronic proceedings in theoretical computer science, 2012-04, Vol.82 (Proc. WRS 2011), p.17-36
2012
Link zum Volltext
Journal of logical and algebraic methods in programming, 2020-01, Vol.110, p.100497, Article 100497
2020
Link zum Volltext
Swarm and evolutionary computation, 2022-02, Vol.68, p.100982, Article 100982
2022
Link zum Volltext
Journal of logical and algebraic methods in programming, 2022-01, Vol.124, p.100727, Article 100727
2022
Link zum Volltext
Journal of logical and algebraic methods in programming, 2022-01, Vol.124, p.100728, Article 100728
2022
Link zum Volltext
Journal of logical and algebraic methods in programming, 2023-08, Vol.134, p.100887, Article 100887
2023
Link zum Volltext
Theory and practice of logic programming, 2020-01, Vol.20 (1), p.44-98
2020
Link zum Volltext
Science of computer programming, 2016-09, Vol.126, p.1-2
2016
Link zum Volltext
Journal of automated reasoning, 2018-04, Vol.60 (4), p.421-463
2018
Link zum Volltext
Theoretical computer science, 2008-08, Vol.403 (2), p.239-264
2008
Link zum Volltext
Science of computer programming, 2015-03, Vol.99, p.1-2
2015
Link zum Volltext
Theoretical computer science, 2002-08, Vol.285 (2), p.121-154
2002
Link zum Volltext
Logic, Rewriting, and Concurrency, 2015, Vol.9200, p.1-47
2015
Link zum Volltext
Logic, Rewriting, and Concurrency, 2015, Vol.9200, p.232-254
2015
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Logic
- Science & Technology - Other Topics
- Computer Programming / Software Development
- Mathematical Theory Of Computation
- Maude
- Rewriting Logic
- Programming & Scripting Languages: General
- Mathematics
- Software Engineering
- Physical Sciences
- Mathematics, Applied
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Model Checking
Kollektion
- IngentaConnect Journals
- HEAL-Link subscriptions: Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Free E-Journals
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLink Journals - AutoHoldings
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Journals@Ovid Complete
- Oxford University Press Journals Current
- Cambridge Journals Online (DEFF)
- ACM Digital Library Complete
- IngentaConnect Journals
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Theoretical Computer Science
- Journal Of Logical And Algebraic Methods In Programming
- The Journal Of Logic And Algebraic Programming
- Journal Of Logic And Computation
- Formal Methods In System Design
- Science Of Computer Programming
- Theory And Practice Of Logic Programming
- Automated Software Engineering
- Electronic Proceedings In Theoretical Computer Science
Neu hinzugefügt