Skolemisation of Intuitionistic Linear Logic

Eike Ritter, Alessandro Bruni, Carsten Schürmann

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original languageEnglish
Title of host publication12th International Joint Conference, IJCAR 2024, Nancy, France, July 1–6, 2024, Proceedings
PublisherSpringer
Publication statusAccepted/In press - 28 Mar 2024
Event12th International Joint Conference on Automated Reasoning, IJCAR 2024 - Inria Nancy Research Center and LORIA, Nancy, France
Duration: 1 Jul 2024 → 6 Jul 2024

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference12th International Joint Conference on Automated Reasoning, IJCAR 2024
Abbreviated titleIJCAR 2024
Country/TerritoryFrance
CityNancy
Period1/07/24 → 6/07/24

Bibliographical note

Not yet published as of 20/05/2024.

Keywords

  • Skolemisation
  • Linear logic

ASJC Scopus subject areas

  • Computational Theory and Mathematics

Cite this