UNDECIDABILITY BOUNDS FOR INTEGER MATRICES USING CLAUS INSTANCES.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 5, p. 931, doi. 10.1142/S0129054107005066
- By:
- Publication type:
- Article
Works matching IS 01290541 AND DT 2007 AND VI 18 AND IP 5
Results: 12
1
2
ON COMPUTING LONGEST PATHS IN SMALL GRAPH CLASSES.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 5, p. 911, doi. 10.1142/S0129054107005054
- By:
- Publication type:
- Article
3
ON THE EXISTENCE OF LOOKAHEAD DELEGATORS FOR NFA.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 5, p. 949, doi. 10.1142/S0129054107005078
- By:
- Publication type:
- Article
4
ON THE EFFECT OF VARIABLE IDENTIFICATION ON THE ESSENTIAL ARITY OF FUNCTIONS ON FINITE SETS.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 5, p. 975, doi. 10.1142/S012905410700508X
- By:
- Publication type:
- Article
5
EFFICIENT ID-BASED MULTI-RECEIVER THRESHOLD DECRYPTION.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 5, p. 987, doi. 10.1142/S0129054107005091
- By:
- Publication type:
- Article
6
FAULT RESILIENCY OF CAYLEY GRAPHS GENERATED BY TRANSPOSITIONS.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 5, p. 1005, doi. 10.1142/S0129054107005108
- By:
- Publication type:
- Article
7
APPLICATION PLACEMENT ON A CLUSTER OF SERVERS.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 5, p. 1023, doi. 10.1142/S012905410700511X
- By:
- Publication type:
- Article
8
A FRAMEWORK FOR SOLVING SEQUENCE PROBLEM OF MULTIPLE INPUT STREAMS.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 5, p. 1043, doi. 10.1142/S0129054107005121
- By:
- Publication type:
- Article
9
REPRESENTATION OF SEMIAUTOMATA BY CANONICAL WORDS AND EQUIVALENCES, PART II:: SPECIFICATION OF SOFTWARE MODULES.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 5, p. 1065, doi. 10.1142/S0129054107005133
- By:
- Publication type:
- Article
10
MOBILE AGENT BASED CHECKPOINTING WITH CONCURRENT INITIATIONS.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 5, p. 1107, doi. 10.1142/S0129054107005157
- By:
- Publication type:
- Article
11
COMPUTATIONAL POWER OF INTRAMOLECULAR GENE ASSEMBLY.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 5, p. 1123, doi. 10.1142/S0129054107005169
- By:
- Publication type:
- Article
12
INVOLUTIVELY BORDERED WORDS.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 5, p. 1089, doi. 10.1142/S0129054107005145
- By:
- Publication type:
- Article