Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Fengna Liu
Claudia Calabrese
Maria Concetta Palumbo
J. Gómez Gil
Jhonathan Pinzon
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Hideyuki Kanematsu
Home
/
Paper
/
Theory-Specific Reasoning about Loops with Arrays using Vampire.
Paper Info
Open Visualization
Title
Theory-Specific Reasoning about Loops with Arrays using Vampire.
Year
Venue
DocType
2016
Vampire@IJCAR
Conference
Citations
PageRank
References
0
0.34
0
Authors
3
Authors (3 rows)
Cited by (0 rows)
References (0 rows)
Name
Order
Citations
PageRank
Yuting Chen
1
12
4.57
Laura Kovács
2
494
36.97
Simon Robillard
3
0
2.03
1
