The following pages link to Răzvan Diaconescu (Q344795):
Displaying 50 items.
- Nondeterministic semantics of compound diagrams (Q258605) (← links)
- Functorial semantics of first-order views (Q344796) (← links)
- Categorical abstract algebraic logic: referential algebraic semantics (Q368473) (← links)
- Internal diagrams and archetypal reasoning in category theory (Q382414) (← links)
- Foundations for structuring behavioural specifications (Q406465) (← links)
- Inverse-limit and topological aspects of abstract interpretation (Q418811) (← links)
- An axiomatic approach to structuring specifications (Q428861) (← links)
- On the existence of translations of structured specifications (Q458375) (← links)
- On the algebra of structured specifications (Q549182) (← links)
- Monadic extensions of institutions (Q622025) (← links)
- Coinduction for preordered algebra (Q627121) (← links)
- Grothendieck inclusion systems (Q657588) (← links)
- Grothendieck institutions (Q698051) (← links)
- Structural induction in institutions (Q719243) (← links)
- Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems (Q816651) (← links)
- Categorical abstract algebraic logic: models of \(\pi\)-institutions (Q817965) (← links)
- Quasi-Boolean encodings and conditionals in algebraic specification (Q844886) (← links)
- Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems (Q854961) (← links)
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- Graded consequence: an institution theoretic study (Q894661) (← links)
- Categorical foundations for structured specifications in \(\mathsf{Z}\) (Q903494) (← links)
- Sheaf toposes for realizability (Q938241) (← links)
- A categorical study on the finiteness of specifications (Q975404) (← links)
- An encoding of partial algebras as total algebras (Q990084) (← links)
- Saturated models in institutions (Q992038) (← links)
- A 2-categorial generalization of the concept of institution (Q993499) (← links)
- An institution-independent proof of the Beth definability theorem (Q995670) (← links)
- Birkhoff completeness in institutions (Q1001374) (← links)
- A logic of implications in algebra and coalgebra (Q1047097) (← links)
- (Q1185239) (redirect page) (← links)
- Contraction algebras and unification of (infinite) terms (Q1185240) (← links)
- Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages (Q1272541) (← links)
- Logical foundations of CafeOBJ (Q1608919) (← links)
- Structuring of specification modules (extended) (Q1650328) (← links)
- An institution-independent proof of Craig interpolation theorem (Q1876090) (← links)
- Interpolation in Grothendieck institutions (Q1884940) (← links)
- Category-based modularisation for equational logic programming (Q1901708) (← links)
- What is a logic translation? (Q1931306) (← links)
- Generalised graded interpolation (Q2105608) (← links)
- Introducing \(H\), an institution-based formal specification and verification language (Q2183716) (← links)
- The institution-theoretic scope of logic theorems (Q2254570) (← links)
- Generalized Płonka sums and products (Q2254602) (← links)
- An institution of modal logics for coalgebras (Q2369032) (← links)
- Categorical abstract algebraic logic: more on protoalgebraicity (Q2372683) (← links)
- Ultraproducts and possible worlds semantics in institutions (Q2373712) (← links)
- Stratified institutions and elementary homomorphisms (Q2379932) (← links)
- Herbrand theorems in arbitrary institutions (Q2390213) (← links)
- Maps and monads for modal frames (Q2433103) (← links)
- Institutional semantics for many-valued logics (Q2450647) (← links)
- Institution-independent model theory (Q2469760) (← links)
