statistiche ricercatore

Continente	#
NA - Nord America	1.068
EU - Europa	626
AS - Asia	131
Continente sconosciuto - Info sul continente non disponibili	2
Totale	1.827

Nome	#
A forward unprovability calculus for intuitionistic propositional logic	181
Proof-Search in Natural Deduction Calculus for Classical Propositional Logic	151
Tableau calculi for the logics of finite k-ary trees	145
Extracting exact time bounds from logical proofs	142
A decidable constructive description logic	142
fCube: An Efficient Prover for Intuitionistic Propositional Logic	132
From constructivism to logic programming: An homage to Mario Ornaghi	119
Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic	109
Proof-search in Hilbert calculi	104
A Tableau Calculus for Propositional Intuitionistic Logic with a Refined Treatment of Nested Implications	102
null	92
BCDL: Basic Constructive Description Logic	83
Forward countermodel construction in modal Logic K	74
Forward proof-search and countermodel construction in intuitionistic propositional logic	70
A natural deduction calculus for gödel-dummett logic internalizing proof-search control mechanisms?	59
A forward internal calculus for model generation in S4	54
Forward refutation for Gödel-Dummett Logics	52
On the complexity of disjunction and explicit definability properties in some intermediate logics	20
A New Approach to Clausification for Intuitionistic Propositional Logic	15
Totale	1.846

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2019/2020	254	0	0	0	0	31	53	47	48	30	22	5	18
2020/2021	264	6	24	9	24	8	37	17	17	38	19	31	34
2021/2022	174	27	6	7	13	12	13	7	10	13	32	12	22
2022/2023	306	22	33	20	33	27	52	0	47	41	9	15	7
2023/2024	417	57	57	62	98	84	46	0	1	6	2	0	4
2024/2025	55	1	1	40	6	7	0	0	0	0	0	0	0
Totale													1.846