Equality and fixpoints in the calculus of structures

DOI10.1145/2603088.2603140zbMath1395.03032OpenAlexW2099353057MaRDI QIDQ4635614

Kaustuv Chaudhuri, Nicolas Guenot

Publication date: 23 April 2018

Published in: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01091570/file/eqfix-hal.pdf

zbMATH Keywords

fixed pointslinear logicunificationdeep inference

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Proof theory in general (including proof-theoretic semantics) (03F03)

This page was built for publication: Equality and fixpoints in the calculus of structures