Baidu
map

Subatomic Proof Systems: Splittable Systems

Tubella, AA; Guglielmi, A

Tubella, AA (reprint author), CNRS, IRIF, Paris, France.; Tubella, AA (reprint author), Univ Paris Diderot, Paris, France.

ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2018; 19 (1):

Abstract

This article presents the first in a series of results that allow us to develop a theory providing finer control over the complexity of normalization,......

Full Text Link


Baidu
map
Baidu
map
Baidu
map