A general proof certification framework for modal logic - Implementation

This archive contains the lambda-prolog implementation of a general proof certification framework for modal logic

Tags
Data and Resources
To access the resources you must log in

This item has no data

Identity

Description: The Identity category includes attributes that support the identification of the resource.

Field Value
PID https://www.doi.org/10.5281/zenodo.1325924
PID https://www.doi.org/10.5281/zenodo.1325923
URL https://figshare.com/articles/A_general_proof_certification_framework_for_modal_logic_-_Implementation/6916187
URL http://dx.doi.org/10.5281/zenodo.1325924
URL https://zenodo.org/record/1325924
URL http://dx.doi.org/10.5281/zenodo.1325923
Access Modality

Description: The Access Modality category includes attributes that report the modality of exploitation of the resource.

Field Value
Access Right Open Source
Attribution

Description: Authorships and contributors

Field Value
Author Libal,Tomer
Author Volpe, Marco
Publishing

Description: Attributes about the publishing venue (e.g. journal) and deposit location (e.g. repository)

Field Value
Collected From Zenodo; figshare; Datacite
Hosted By Zenodo; figshare
Publication Date 2018-08-01
Publisher Figshare
Additional Info
Field Value
Language UNKNOWN
Resource Type Software
system:type software
Management Info
Field Value
Source https://science-innovation-policy.openaire.eu/search/software?softwareId=dedup_wf_001::4ed11324b1dc3e7f318370f4303fa637
Author jsonws_user
Last Updated 17 December 2020, 22:26 (CET)
Created 17 December 2020, 22:26 (CET)