SOME INITIAL THOUGHTS ON BOUNDED QUERY COMPUTATIONS OVER THE REALS.
- Published in:
- International Journal of Foundations of Computer Science, 2012, v. 23, n. 7, p. 1499, doi. 10.1142/S0129054112400618
- By:
- Publication type:
- Article
Works matching IS 01290541 AND DT 2012 AND VI 23 AND IP 7
Results: 11
1
2
THREE APPLICATIONS TO RATIONAL RELATIONS OF THE HIGH UNDECIDABILITY OF THE INFINITE POST CORRESPONDENCE PROBLEM IN A REGULAR ω-LANGUAGE.
- Published in:
- International Journal of Foundations of Computer Science, 2012, v. 23, n. 7, p. 1481, doi. 10.1142/S0129054112400606
- By:
- Publication type:
- Article
3
DECIDABILITY AND UNIVERSALITY IN THE AXIOMATIC THEORY OF COMPUTABILITY AND ALGORITHMS.
- Published in:
- International Journal of Foundations of Computer Science, 2012, v. 23, n. 7, p. 1465, doi. 10.1142/S012905411240059X
- By:
- Publication type:
- Article
4
A TISSUE P SYSTEM BASED SOLUTION TO QUADRATIC ASSIGNMENT PROBLEM.
- Published in:
- International Journal of Foundations of Computer Science, 2012, v. 23, n. 7, p. 1511, doi. 10.1142/S012905411240062X
- By:
- Publication type:
- Article
5
JUMPING FINITE AUTOMATA.
- Published in:
- International Journal of Foundations of Computer Science, 2012, v. 23, n. 7, p. 1555, doi. 10.1142/S0129054112500244
- By:
- Publication type:
- Article
6
THE FRONTIER OF DECIDABILITY IN PARTIALLY OBSERVABLE RECURSIVE GAMES.
- Published in:
- International Journal of Foundations of Computer Science, 2012, v. 23, n. 7, p. 1439, doi. 10.1142/S0129054112400576
- By:
- Publication type:
- Article
7
ON THE EDGE OF DECIDABILITY IN COMPLEXITY ANALYSIS OF LOOP PROGRAMS.
- Published in:
- International Journal of Foundations of Computer Science, 2012, v. 23, n. 7, p. 1451, doi. 10.1142/S0129054112400588
- By:
- Publication type:
- Article
8
ON STRUCTURAL ANALYSIS OF INTERACTING BEHAVIORAL PETRI NETS FOR DISTRIBUTED CAUSAL MODEL-BASED DIAGNOSIS.
- Published in:
- International Journal of Foundations of Computer Science, 2012, v. 23, n. 7, p. 1523, doi. 10.1142/S0129054112500220
- By:
- Publication type:
- Article
9
APPROXIMATING THE SPANNING k-TREE FOREST PROBLEM.
- Published in:
- International Journal of Foundations of Computer Science, 2012, v. 23, n. 7, p. 1543, doi. 10.1142/S0129054112500232
- By:
- Publication type:
- Article
10
PREFACE.
- Published in:
- International Journal of Foundations of Computer Science, 2012, v. 23, n. 7, p. 1419, doi. 10.1142/S012905411202008X
- By:
- Publication type:
- Article
11
ON SMALL UNIVERSAL SPLICING SYSTEMS.
- Published in:
- International Journal of Foundations of Computer Science, 2012, v. 23, n. 7, p. 1423, doi. 10.1142/S0129054112400564
- By:
- Publication type:
- Article