The exponential logic of sequentialization

DOI10.46298/ENTICS.12419MaRDI QIDQ6831477zbMATH OpenFDO

Authors Aurore Alcolei, Luc Pellissier, Alexis Saurin

Publication date 2 April 2026

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

jumpsproof theorylinear logicproof netssequentialization

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

This page was built for publication: The exponential logic of sequentialization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6831477)