Found: 2
Select item for more details and to access through your institution.
DECIDABLE CLASSES OF TREE AUTOMATA MIXING LOCAL AND GLOBAL CONSTRAINTS MODULO FLAT THEORIES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2013, v. 9, n. 2, p. 1, doi. 10.2168/lmcs-9(2:1)2013
- By:
- Publication type:
- Article
THE DEGREE STRUCTURE OF WEIHRAUCH REDUCIBILITY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2013, v. 9, n. 2, p. 1, doi. 10.2168/lmcs-9(2:2)2013
- By:
- Publication type:
- Article