h1

h2

h3

h4

h5
h6
http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Targeting Completeness: Automated Complexity Analysis of Integer Programs

; ;

In
Journal of automated reasoning 70(1), Seiten/Artikel-Nr.:6, 57 pages

ImpressumDordrecht [u.a.] : Springer Science + Business Media B.V.

ISSN0168-7433

Online
DOI: 10.1007/s10817-026-09751-2


Einrichtungen

  1. Lehr- und Forschungsgebiet Programmiersprachen und Verifikation (121420)
  2. Graduiertenkolleg UnRAVeL (080060)


Thematische Einordnung (Klassifikation)
DDC: 004


Dokumenttyp
Journal Article

Format
online, print

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
WOS Core Collection: WOS:001732003400001
SCOPUS: SCOPUS:105035592519

Interne Identnummern
RWTH-2026-04070
Datensatz-ID: 1033252

Lizenzstatus der Zeitschrift

 GO

Medline ; Clarivate Analytics Master Journal List ; DEAL Springer ; Essential Science Indicators ; IF < 5 ; JCR ; NationallizenzNationallizenz ; SCOPUS ; Science Citation Index Expanded ; Web of Science Core Collection
QR Code for this record

The record appears in these collections:
Document types > Articles > Journal Articles
Faculty of Computer Science (Fac.9)
Central and Other Institutions
Documents in print
Public records
Publication Charges
121420
080060
TypAmountVATCurrencyShareStatusCost centre
Hybrid-OA2600.00182.00EUR96.76 %(DEAL)021000-121420
Other87.006.09EUR3.24 %(DEAL)021000-121420
Sum2687.00188.09EUR   
Total2875.09     
 Record created 2026-04-10, last modified 2026-04-28
Similar records



Rate this document:

Rate this document:
1
2
3
4
5
 
(Not yet reviewed)