Axiomatising Tree-Interpretable Structures.
- Published in:
- Theory of Computing Systems, 2004, v. 37, n. 1, p. 3, doi. 10.1007/s00224-003-1104-8
- By:
- Publication type:
- Article
Works matching IS 14324350 AND DT 2004 AND VI 37 AND IP 1
Results: 10
1
2
Games with Uniqueness Properties.
- Published in:
- Theory of Computing Systems, 2004, v. 37, n. 1, p. 29, doi. 10.1007/s00224-003-1105-7
- By:
- Publication type:
- Article
3
Labeling Schemes for Dynamic Tree Networks.
- Published in:
- Theory of Computing Systems, 2004, v. 37, n. 1, p. 49, doi. 10.1007/s00224-003-1106-6
- By:
- Publication type:
- Article
4
How Many Missing Answers Can Be Tolerated by Query Learners?
- Published in:
- Theory of Computing Systems, 2004, v. 37, n. 1, p. 77, doi. 10.1007/s00224-003-1107-5
- By:
- Publication type:
- Article
5
Comparing Verboseness for Finite Automata and Turing Machines.
- Published in:
- Theory of Computing Systems, 2004, v. 37, n. 1, p. 95, doi. 10.1007/s00224-003-1108-4
- By:
- Publication type:
- Article
6
Nesting Until and Since in Linear Temporal Logic.
- Published in:
- Theory of Computing Systems, 2004, v. 37, n. 1, p. 111, doi. 10.1007/s00224-003-1109-3
- By:
- Publication type:
- Article
7
Existential and Positive Theories of Equations in Graph Products.
- Published in:
- Theory of Computing Systems, 2004, v. 37, n. 1, p. 133, doi. 10.1007/s00224-003-1110-x
- By:
- Publication type:
- Article
8
Generalized Model-Checking over Locally Tree-Decomposable Classes.
- Published in:
- Theory of Computing Systems, 2004, v. 37, n. 1, p. 157, doi. 10.1007/s00224-003-1111-9
- By:
- Publication type:
- Article
9
Learnability and Definability in Trees and Similar Structures.
- Published in:
- Theory of Computing Systems, 2004, v. 37, n. 1, p. 193, doi. 10.1007/s00224-003-1112-8
- By:
- Publication type:
- Article
10
Quantum and Approximate Privacy.
- Published in:
- Theory of Computing Systems, 2004, v. 37, n. 1, p. 221, doi. 10.1007/s00224-003-1113-7
- By:
- Publication type:
- Article