The following pages link to Enric Cosme-Llópez (Q265784):
Displaying 19 items.
- Varieties and covarieties of languages (extended abstract) (Q265785) (← links)
- (Q498395) (redirect page) (← links)
- The dual equivalence of equations and coequations for automata (Q498397) (← links)
- Group extensions and graphs. (Q530365) (← links)
- On subgroup functors of finite soluble groups (Q1702179) (← links)
- Some contributions to the theory of transformation monoids (Q1712470) (← links)
- Algorithms for permutability in finite groups. (Q2440508) (← links)
- A description based on languages of the final non-deterministic automaton (Q2449045) (← links)
- Regular Varieties of Automata and Coequations (Q2941177) (← links)
- Formations of Monoids, Congruences, and Formal Languages (Q4621194) (← links)
- Errata to "Formations of Monoids, Congruences, and Formal Languages" (Q4621202) (← links)
- A comic page for the first isomorphism theorem (Q5047028) (← links)
- When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras? (Q5095643) (← links)
- (Q5111293) (← links)
- Congruence-based proofs of the recognizability theorems for free many-sorted algebras (Q5112648) (← links)
- A characterization of the <i>n</i>-ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem (Q5206128) (← links)
- (Q5233333) (← links)
- Functoriality of the Schmidt construction (Q6200750) (← links)
- From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms (Q6522413) (← links)