Document Open Access Logo

LIPIcs, Volume 299, FSCD 2024, Complete Volume

Author Jakob Rehof



PDF
Thumbnail PDF

File

LIPIcs.FSCD.2024.pdf
  • Filesize: 10.87 MB
  • 692 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. 1-692, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/LIPIcs.FSCD.2024

Abstract

LIPIcs, Volume 299, FSCD 2024, Complete Volume

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
  • LIPIcs, Volume 299, FSCD 2024, Complete Volume

Metrics

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