LinearOne - Archive ouverte HAL

Documentation
Français (FR)

Anglais (EN)

Logiciel Année : 2016

LinearOne

(1)

1

Richard Moot

Fonction : Auteur
PersonId : 738689
IdHAL : richard-moot
ORCID : 0000-0002-6450-1600
IdRef : 164827560

Exploration et exploitation de données textuelles

Résumé

LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.

Mots clés

Linear logic Type-logical grammar swi prolog Proof net displacement calculus grammars latex theorem proving first order logic logic programming

Domaines

Informatique et langage [cs.CL] Logique en informatique [cs.LO]

Richard Moot : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02101382

Soumis le : mardi 16 avril 2019-16:28:47

Dernière modification le : samedi 15 juillet 2023-04:10:05

Dates et versions

hal-02101382 , version 1 (16-04-2019)

Identifiants

HAL Id : hal-02101382 , version 1
SWHID : swh:1:dir:2072136b65c3433e3f48259cd4fcd782576743d2;origin=https://github.com/RichardMoot/LinearOne;visit=swh:1:snp:9838536d271f1451e511e6885e71cd81ba7596e9;anchor=swh:1:rev:55540e9a91b7a5c7722775f39ffbf50f5b472a7e

version :
Licences : GNU Lesser General Public License v3.0 only
Code Repository : https://github.com/RichardMoot/LinearOne

Citer

Richard Moot. LinearOne. 2016, ⟨swh:1:dir:2072136b65c3433e3f48259cd4fcd782576743d2;origin=https://github.com/RichardMoot/LinearOne;visit=swh:1:snp:9838536d271f1451e511e6885e71cd81ba7596e9;anchor=swh:1:rev:55540e9a91b7a5c7722775f39ffbf50f5b472a7e⟩. ⟨hal-02101382⟩

Exporter

CodeMeta BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS TEXTE LIRMM MIPS UNIV-MONTPELLIER ANR

95 Consultations

0 Téléchargements

Partager