Sortiert nach
Scientific annals of computer science, 2024-01, Vol.34 (1), p.39-66
2024
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2023-10, Vol.135, p.100894, Article 100894
2023
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2023, Vol.389, p.41-55
2023
Volltextzugriff (PDF)
Algebra and Coalgebra in Computer Science, p.127-144
Volltextzugriff (PDF)
Logic journal of the IGPL, 2024-05, Vol.32 (3), p.534-571
2024
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2022, Vol.369, p.1-16
2022
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2018-12, Vol.101, p.42-43
2018
Volltextzugriff (PDF)
Journal of symbolic computation, 2017-05, Vol.80, p.125-163
2017
Volltextzugriff (PDF)
Formal aspects of computing, 2015-07, Vol.27 (4), p.701-726
2015
Volltextzugriff (PDF)
Algebra and Coalgebra in Computer Science, p.433-442
Volltextzugriff (PDF)
Procedia computer science, 2023, Vol.225, p.3498-3507
2023
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2021-04, Vol.120, p.100638, Article 100638
2021
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2023-01, Vol.130, p.100810, Article 100810
2023
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2012-12, Vol.104 (Proc. ICE 2012), p.99-113
2012
Volltextzugriff (PDF)
Theoretical Aspects of Software Engineering, 2022, Vol.13299, p.406-423
2022
Volltextzugriff (PDF)
Theoretical computer science, 2007-04, Vol.373 (3), p.163-181
2007
Volltextzugriff (PDF)
Specification, Algebra, and Software, p.296-314
Volltextzugriff (PDF)
Computer languages, systems & structures, 2015-12, Vol.44, p.48-71
2015
Volltextzugriff (PDF)
Automated Reasoning, 2018, Vol.10900, p.295-311
2018
Volltextzugriff (PDF)
Rewriting Logic and Its Applications, 2016, Vol.9942, p.167-184
2016
Volltextzugriff (PDF)
Formal Methods – The Next 30 Years, p.502-518
Volltextzugriff (PDF)
Rewriting Logic and Its Applications, 2016, Vol.9942, p.134-151
2016
Volltextzugriff (PDF)
Rewriting Logic and Its Applications, 2016, Vol.9942, p.1-25
2016
Volltextzugriff (PDF)
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
- Computer Programming / Software Development
- Mathematics
- Logic
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Mathematics, Applied
- Physical Sciences
- Programming Languages
- Proof System
- Symbolic Execution
- Engineering
- Logic In Computer Science
- Operational Semantic
- Science & Technology - Other Topics
Kollektion
- IngentaConnect
- HEAL-Link subscriptions: Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- IEEE Xplore
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer LINK 全文期刊数据库
- BSC - Ebsco (Business Source Ultimate)
- Oxford journals
- IngentaConnect Journals
- JSTOR
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Journal Of Logical And Algebraic Methods In Programming
- The journal Of Logical And Algebraic Methods In Programming/journal Of Logical And Algebraic Methods In Programming
- Theoretical Computer Science
- Formal Aspects Of Computing
- Arxiv
- Bulletin Mathématique De La Société Des Sciences Mathématiques De La République Socialiste De Roumanie
- Computer Languages, Systems & Structures
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
Neu hinzugefügt