Heterogeneous fibring of deductive systems via abstract proof systems (2005)
Cached
Download Links
- [www.cs.math.ist.utl.pt]
- [www.cs.math.ist.utl.pt]
- [www.cs.math.ist.utl.pt]
- [wslc.math.ist.utl.pt]
- DBLP
Other Repositories/Bibliography
by
Luís Cruz-filipe
,
Amílcar Sernadas
,
Cristina Sernadas
| Citations: | 3 - 1 self |
Document Versions
| Heterogeneous fibring of deductive systems via abstract proof systems –Luís Cruz-filipe, Amílcar Sernadas, Cristina Sernadas — 2005 |
| Heterogeneous fibring of deductive systems via abstract proof systems –Luís Cruz-filipe, Amílcar Sernadas, Cristina Sernadas — 2005 |
