![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| a_characterisation_of_coincidence.html | 2021-09-19 10:55 | 21K | |
| a_formal_framework_of.html | 2021-09-19 10:55 | 21K | |
| dynamic_data_warehouse_design.html | 2021-09-19 10:55 | 22K | |
| dynamic_query_optimization_under.html | 2021-09-19 10:54 | 22K | |
| formal_verification_of_semistructured.html | 2021-09-19 10:55 | 22K | |
| global_database_design_based.html | 2021-09-19 10:55 | 21K | |
| non_denumerable_infinitary_modal.html | 2021-09-19 10:54 | 21K | |
| on_defining_the_behavior.html | 2021-09-19 10:54 | 22K | |
| reasoning_about_nonblocking_concurrency.html | 2021-09-19 10:54 | 22K | |
| using_abstract_state_machines.html | 2021-09-19 10:55 | 21K | |
| weak_functional_dependencies_full.html | 2021-09-19 10:54 | 22K | |