Discrete equational theories.
- Published in:
- Mathematical Structures in Computer Science, 2024, v. 34, n. 2, p. 147, doi. 10.1017/S096012952400001X
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2024 AND VI 34 AND IP 2
Results: 4
1
2
Fixed point logics and definable topological properties.
- Published in:
- Mathematical Structures in Computer Science, 2024, v. 34, n. 2, p. 81, doi. 10.1017/S0960129523000385
- By:
- Publication type:
- Article
3
Learning quantum finite automata with queries.
- Published in:
- Mathematical Structures in Computer Science, 2024, v. 34, n. 2, p. 128, doi. 10.1017/S0960129523000373
- By:
- Publication type:
- Article
4
A point-free perspective on lax extensions and predicate liftings.
- Published in:
- Mathematical Structures in Computer Science, 2024, v. 34, n. 2, p. 98, doi. 10.1017/S096012952300035X
- By:
- Publication type:
- Article