A new correctness criterion for the proof nets of non-commutative multiplicative linear logics

By  

The Journal of Symbolic Logic, Vol. 66, Iss. 4, 2001-12 ,pp. : 1524-1542

Cambridge University Press

Access to resources Recommend Favorite

A New Proof for the Monotonicity Criterion of the Quotientof Two Power Series on the Infinite Interval

By  

Pacific Journal of Applied Mathematics, Vol. , Iss. , 2015-04 ,pp. : 37-42

Nova Science Publishers, Inc.

Access to resources Recommend Favorite

Combinatorics of first order structures and propositional proof systems

By Krajíček Jan  

Archive for Mathematical Logic, Vol. 43, Iss. 4, 2004-05 ,pp. : 427-441

Springer Publishing Company

Access to resources Recommend Favorite

Free ordered algebraic structures towards proof theory

By  

The Journal of Symbolic Logic, Vol. 66, Iss. 2, 2001-06 ,pp. : 597-608

Cambridge University Press

Access to resources Recommend Favorite

Characterizing the Structures of Cryptographic Functions Satisfying the Propagation Criterion for Almost All Vectors

By Zhang Xian-Mo   Zheng Yuliang  

Designs, Codes and Cryptography, Vol. 7, Iss. 1-2, 1996-01 ,pp. : 111-134

Springer Publishing Company

Access to resources Recommend Favorite