Skip to content

Log in

Datasets
Organizations
Groups
About

Search Datasets

Home
Datasets

Organizations

test_moissonnage_se... - 1

Groups

There are no Groups that match this search

Tags

a-translation - 1
acm-f-theory-of-com... - 1
conference-papers - 1
cut-elimination - 1
deduction-modulo - 1
infoeu-reposemantic... - 1
infoinfo-locomputer... - 1
mathmath-lomathemat... - 1
pseudo-heyting-algebra - 1
super-consistency - 1

Formats

HTML - 1

Licenses

https://about.hal.s... - 1

close

Order by

1 dataset found

Tags: super-consistency

Filter Results

Semantic A-translation and Super-consistency entail Classical Cut Elimination

International audience
- HTML

You can also access this registry using the API (see API Docs).

About CKAN

CKAN API
CKAN Association

Powered by CKAN

Language