A Complete Cyclic Proof System for Inductive Entailments in First Order Logic. - Citegraph

Paper Info

Title
A Complete Cyclic Proof System for Inductive Entailments in First Order Logic.

Year	Venue	Field
2018	LPAR	Computer science,Arithmetic,Theoretical computer science,First-order logic
DocType	Citations	PageRank
Conference	0	0.34
References	Authors
0	2

Authors (2 rows)

Cited by (0 rows)

References (0 rows)

Name	Order	Citations	PageRank
Radu Iosif	1	483	42.44
Cristina Serban	2	4	2.19

1