EuDML | Browse

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Subjects
03-XX Mathematical logic and foundations
03Fxx Proof theory and constructive mathematics
03F20 Complexity of proofs

Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1

Displaying 1 – 3 of 3

Speed-up for propositional Frege systems via generalizations of proofs

Jan Krajíček (1989)

Commentationes Mathematicae Universitatis Carolinae

Statistical testing procedure for lengths of formalized proofs

Ivan Kramosil (1980)

Kybernetika

Statistical theory of logical derivability

Jan Šindelář (1980)

Kybernetika

Currently displaying 1 – 3 of 3

Page 1