Publicação
Heterogeneous Fibring of Deductive Systems via Abstract Proof Systems
| dc.contributor.author | Luís Cruz-Filipe | por |
| dc.contributor.author | A. Sernadas | por |
| dc.contributor.author | C. Sernadas | por |
| dc.date.accessioned | 2010-05-21T17:18:14Z | por |
| dc.date.accessioned | 2014-11-14T16:25:56Z | |
| dc.date.available | 2010-05-21T17:18:14Z | por |
| dc.date.available | 2014-11-14T16:25:56Z | |
| dc.date.issued | 2008 | por |
| dc.date.issued | 2008 | por |
| dc.identifier.uri | http://hdl.handle.net/10451/14552 | por |
| dc.identifier.uri | http://repositorio.ul.pt/handle/10455/6161 | por |
| dc.language.iso | eng | por |
| dc.publisher | Logic Journal of the IGPL | por |
| dc.relation.ispartofseries | 16;2 | por |
| dc.subject | Computer Science | por |
| dc.title | Heterogeneous Fibring of Deductive Systems via Abstract Proof Systems | por |
| dc.type | journal article | |
| dspace.entity.type | Publication | |
| rcaap.rights | openAccess | por |
| rcaap.type | article | por |