Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Institutions: abstract model theory for specification and programming | Journal of the ACM |
| 266 | 1992 |
Quasi-varieties in abstract algebraic institutions | Journal of Computer and System Sciences |
| 36 | 1986 |
Initial Algebra Semantics and Continuous Algebras | Journal of the ACM |
| 275 | 1977 |
Fuzzy Logic Programming and Fuzzy Control | Studia Logica |
| 23 | 2005 |
Herbrand theorems in arbitrary institutions | Information Processing Letters |
| 16 | 2004 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Preservation in many-valued truth institutions | Fuzzy Sets and Systems |
| 2 | 2023 |
A method for rigorous design of reconfigurable systems | Science of Computer Programming |
| 5 | 2016 |
Refinement in hybridised institutions | Formal Aspects of Computing |
| 9 | 2015 |
Graded consequence: an institution theoretic study | Soft Computing |
| 5 | 2014 |
Abstract Valuation Semantics | Studia Logica |
| 2013 |