An Interactive Prover for Bi-intuitionistic Logic - Archive ouverte HAL
Communication Dans Un Congrès Année : 2013

An Interactive Prover for Bi-intuitionistic Logic

Jean-René Courtault
  • Fonction : Auteur
  • PersonId : 776519
  • IdRef : 18565309X
Logic, proof Theory and Programming
Didier Galmiche
Logic, proof Theory and Programming
Daniel Méry
Logic, proof Theory and Programming

Domaines

Logique en informatique [cs.LO]

Didier Galmiche  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01259791

Soumis le : mercredi 20 janvier 2016-23:18:27

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

Fichier non déposé

Dates et versions

hal-01259791 , version 1 (20-01-2016)

Identifiants

  • HAL Id : hal-01259791 , version 1

Citer

Jean-René Courtault, Didier Galmiche, Daniel Méry. An Interactive Prover for Bi-intuitionistic Logic. Int. Workshop on the Implementation of Logics, IWIL 2013, 2013, Stellenbosch, South Africa. ⟨hal-01259791⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE LORIA
82 Consultations
0 Téléchargements

Partager

More