h1

h2

h3

h4

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

Report on the 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025)

;

In
ACM SIGLOG news 12(4), Seiten/Artikel-Nr.:6-7

Konferenz/Event:10. International Conference on Formal Structures for Computation and Deduction , Birmingham , UK , FSCD 2025 , 2025-07-14 - 2025-07-20

ImpressumNew York, NY : ACM

ISSN2372-3491

Online
DOI: 10.1145/3774409.3774413


Einrichtungen

  1. Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2) (121310)
  2. Lehr- und Forschungsgebiet Programmiersprachen und Verifikation (121420)


Thematische Einordnung (Klassifikation)
DDC: 004


Dokumenttyp
Journal Article

Format
online

Sprache
English

Anmerkung
Peer review status of article unknown

Externe Identnummern
OpenAlex: W4417469731

Interne Identnummern
RWTH-2026-08363
Datensatz-ID: 1041101

Beteiligte Länder
Germany

Lizenzstatus der Zeitschrift

 GO

QR Code for this record

The record appears in these collections:
Document types > Articles > Journal Articles
Faculty of Computer Science (Fac.9)
Public records
Publications database
121310
121420
 Record created 2026-09-07, last modified 2026-09-08
Similar records



Rate this document:

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