Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Generic constructions for behavioral specifications | 0 | 0.34 | 2012 |
| Saturated models in institutions | 2 | 0.38 | 2010 |
| Completeness by Forcing | 3 | 0.37 | 2010 |
| An institutional version of Gödel's completeness theorem | 5 | 0.43 | 2007 |
| Abstract Beth definability in institutions | 8 | 0.52 | 2006 |