FTP
| FTP | |
|---|---|
International Workshops on First-Order Theorem Proving
| |
| CORE Rank (2018): | B |
| Table of Contents | |
Events
The following events of the series FTP are currently known in this wiki:
Number of Submitted and Accepted Papers (Main Track)
Acceptance Rate
Locations
Facts about "FTP"
| EventSeries acronym | FTP + |
| Has CORE Rank | B + |
| IsA | EventSeries + |
| Title | International Workshops on First-Order Theorem Proving + |
