![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| AmProv_Draftfragments.doc | 13-Mar-2011 11:53 | 570K | |
| Krikmann_Tavira.pdf | 02-Dec-2007 04:24 | 884K | |
| Krikmann_Tavira.ppt | 04-Nov-2007 14:10 | 1.9M | |
| Krikmann_Tavira09_Slides.ppt | 07-Nov-2009 12:05 | 6.5M | |
| Krikmann_Tavira2010.pdf | 10-Jan-2011 07:49 | 199K | |
| ProvSemIndef1.pdf | 10-Apr-2009 15:01 | 257K | |
| ProvSemIndef2.pdf | 10-Apr-2009 15:02 | 206K | |