Document Open Access Logo

Front Matter, Table of Contents, Preface, Conference Organization

Author Jakob Rehof



PDF
Thumbnail PDF

File

LIPIcs.FSCD.2024.0.pdf
  • Filesize: 0.55 MB
  • 18 pages

Document Identifiers

Author Details

Jakob Rehof
  • TU Dortmund University, Germany
  • Lamarr Institute for Machine Learning and Artificial Intelligence, Dortmund, Germany

Cite AsGet BibTex

9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 299, pp. 0:i-0:xviii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/LIPIcs.FSCD.2024.0

Abstract

Front Matter, Table of Contents, Preface, Conference Organization

Subject Classification

ACM Subject Classification
  • Theory of computation → Models of computation
  • Theory of computation → Logic
  • Theory of computation → Formal languages and automata theory
  • Theory of computation → Semantics and reasoning
  • Security and privacy → Formal methods and theory of security
  • Computing methodologies → Symbolic and algebraic manipulation
  • Software and its engineering
Keywords
  • Front Matter
  • Table of Contents
  • Preface
  • Conference Organization

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads