Found: 24
Select item for more details and to access through your institution.
Generating symmetric and alternating groups.
- Published in:
- Journal of Algebra & Its Applications, 2024, v. 23, n. 8, p. 1, doi. 10.1142/S0219498825500525
- By:
- Publication type:
- Article
Partialising Institutions.
- Published in:
- Applied Categorical Structures, 2023, v. 31, n. 6, p. 1, doi. 10.1007/s10485-023-09753-w
- By:
- Publication type:
- Article
Decompositions of stratified institutions.
- Published in:
- Journal of Logic & Computation, 2023, v. 33, n. 7, p. 1625, doi. 10.1093/logcom/exac054
- By:
- Publication type:
- Article
Concepts of Interpolation in Stratified Institutions.
- Published in:
- Logics, 2023, v. 1, n. 2, p. 80, doi. 10.3390/logics1020005
- By:
- Publication type:
- Article
Permutation Groups Generated by γ -Cycles.
- Published in:
- Axioms (2075-1680), 2022, v. 11, n. 10, p. N.PAG, doi. 10.3390/axioms11100528
- By:
- Publication type:
- Article
The Axiomatic Approach to Non-Classical Model Theory.
- Published in:
- Mathematics (2227-7390), 2022, v. 10, n. 19, p. 3428, doi. 10.3390/math10193428
- By:
- Publication type:
- Article
Representing 3/2-Institutions as Stratified Institutions.
- Published in:
- Mathematics (2227-7390), 2022, v. 10, n. 9, p. 1507, doi. 10.3390/math10091507
- By:
- Publication type:
- Article
Editorial: Universal logic and computation.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 6, p. 1677, doi. 10.1093/logcom/exx028
- By:
- Publication type:
- Article
Implicit Kripke semantics and ultraproducts in stratified institutions.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 5, p. 1577, doi. 10.1093/logcom/exw018
- By:
- Publication type:
- Article
Quasi-varieties and initial semantics for hybridized institutions.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 3, p. 855, doi. 10.1093/logcom/ext016
- By:
- Publication type:
- Article
Encoding hybridized institutions into first-order logic.
- Published in:
- Mathematical Structures in Computer Science, 2016, v. 26, n. 5, p. 745, doi. 10.1017/S0960129514000383
- By:
- Publication type:
- Article
Structuring of Specification Modules (extended).
- Published in:
- Computer Science Journal of Moldova, 2015, v. 23, n. 2, p. 135
- By:
- Publication type:
- Article
Graded consequence: an institution theoretic study.
- Published in:
- Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2014, v. 18, n. 7, p. 1247, doi. 10.1007/s00500-014-1231-y
- By:
- Publication type:
- Article
Borrowing interpolation.
- Published in:
- Journal of Logic & Computation, 2012, v. 22, n. 3, p. 561, doi. 10.1093/logcom/exr007
- By:
- Publication type:
- Article
Interpolation for predefined types.
- Published in:
- Mathematical Structures in Computer Science, 2012, v. 22, n. 1, p. 1, doi. 10.1017/S0960129511000430
- By:
- Publication type:
- Article
Grothendieck Inclusion Systems.
- Published in:
- Applied Categorical Structures, 2011, v. 19, n. 5, p. 783, doi. 10.1007/s10485-009-9211-6
- By:
- Publication type:
- Article
On quasi-varieties of multiple valued logic models.
- Published in:
- Mathematical Logic Quarterly, 2011, v. 57, n. 2, p. 194, doi. 10.1002/malq.200910131
- By:
- Publication type:
- Article
Proof Systems for Institutional Logic.
- Published in:
- Journal of Logic & Computation, 2006, v. 16, n. 3, p. 339, doi. 10.1093/logcom/exi082
- By:
- Publication type:
- Article
Elementary Diagrams in Institutions.
- Published in:
- Journal of Logic & Computation, 2004, v. 14, n. 5, p. 651, doi. 10.1093/logcom/14.5.651
- By:
- Publication type:
- Article
An Institution-independent Proof of Craig Interpolation Theorem.
- Published in:
- Studia Logica, 2004, v. 77, n. 1, p. 59, doi. 10.1023/b:stud.0000034185.62660.d6
- By:
- Publication type:
- Article
Grothendieck Institutions.
- Published in:
- Applied Categorical Structures, 2002, v. 10, n. 4, p. 383, doi. 10.1023/A:1016330812768
- By:
- Publication type:
- Article
Extra Theory Morphisms for Institutions: Logical Semantics for Multi-Paradigm Languages.
- Published in:
- Applied Categorical Structures, 1998, v. 6, n. 4, p. 427, doi. 10.1023/A:1008607717635
- By:
- Publication type:
- Article
Completeness of category-based equational deduction.
- Published in:
- Mathematical Structures in Computer Science, 1995, v. 5, n. 1, p. 9, doi. 10.1017/S0960129500000621
- By:
- Publication type:
- Article
An Oxford survey of order sorted algebra.
- Published in:
- Mathematical Structures in Computer Science, 1994, v. 4, n. 3, p. 363, doi. 10.1017/S0960129500000517
- By:
- Publication type:
- Article