First-Order Interpolation and Grey Areas of Proofs (Invited Talk). - Citegraph

Paper Info

Title
First-Order Interpolation and Grey Areas of Proofs (Invited Talk).

Year	Venue	Field
2017	CSL	Discrete mathematics,Combinatorics,First order,Computer science,Interpolation,Mathematical proof,Gray (horse)
DocType	Citations	PageRank
Conference	0	0.34
References	Authors
0	1

Authors (1 rows)

Cited by (0 rows)

References (0 rows)

Name	Order	Citations	PageRank
Laura Kovács	1	494	36.97

1