|
Search the dblp DataBase
Roberto Virga:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Amal J. Ahmed, Andrew W. Appel, Roberto Virga
A Stratified Semantics of General References A Stratified Semantics of General References. [Citation Graph (0, 0)][DBLP] LICS, 2002, pp:75-0 [Conf]
- Roberto Virga
Higher-Order Superposition for Dependent Types. [Citation Graph (0, 0)][DBLP] RTA, 1996, pp:123-137 [Conf]
- Roberto Virga
Efficient Substitution in Hoare Logic Expressions. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2000, v:41, n:3, pp:- [Journal]
- Andrew W. Appel, Neophytos G. Michael, Aaron Stump, Roberto Virga
A Trustworthy Proof Checker. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2003, v:31, n:3-4, pp:231-260 [Journal]
Search in 0.001secs, Finished in 0.001secs
|