An Axiomatic Approach to Structuring Specifications

View PDF

Download Links

by Răzvan Diaconescu
Citations:4 - 0 self

Documents Related by Co-Citation

2 Parameterisation for abstract structured specifications – Ionuţ Ţuţu
1 downward Löwenheim-Skolem and Omitting Types theorems, institutionally. Logica Universalis – Daniel Găină Forcing - 2013
1 Constructor-based logics – Daniel Găină, Kokichi Futatsugi, Kazuhiro Ogata
1 Catégories et strcutures. Dunod – Charles Ehresmann - 1965
1 Encoding hybridized institutions into first order logic – Răzvan Diaconescu, Alexandre Madeira
1 Comorphisms for structured institutions – Ionuţ Ţuţu