A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems

Carlos Olarte; Elaine Pimentel; Camilo Rocha

doi:10.1016/j.jlamp.2022.100827

Article Dans Une Revue Journal of Logical and Algebraic Methods in Programming Année : 2023

A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems

(1) , ,

1

Carlos Olarte

Fonction : Auteur
PersonId : 1125874
IdHAL : carlos-olarte

Laboratoire d'Informatique de Paris-Nord

Elaine Pimentel

Fonction : Auteur
PersonId : 1169048
ORCID : 0000-0002-7113-0801

Camilo Rocha

Fonction : Auteur
PersonId : 1193724
ORCID : 0000-0003-4356-7704

Domaines

Calcul formel [cs.SC]

Carlos Olarte : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-03870761

Soumis le : jeudi 24 novembre 2022-18:34:00

Dernière modification le : vendredi 24 mars 2023-14:53:29

Dates et versions

hal-03870761 , version 1 (24-11-2022)

Identifiants

HAL Id : hal-03870761 , version 1
ARXIV : 2101.03113
DOI : 10.1016/j.jlamp.2022.100827

Citer

Carlos Olarte, Elaine Pimentel, Camilo Rocha. A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems. Journal of Logical and Algebraic Methods in Programming, 2023, 130, pp.100827. ⟨10.1016/j.jlamp.2022.100827⟩. ⟨hal-03870761⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS13 CNRS LIPN SORBONNE-PARIS-NORD

9 Consultations

0 Téléchargements

A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager