History
1
so:se00001143
1912


Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 1912 total

EXPTIME-completeness of thorough refinement on modal transition systems. (English)
Inf. Comput. 218, 54-68 (2012).
WorldCat.org
1
PDF XML AMS-TeX TEXT BIBTeX DOI
On the complexity of minimizing probabilistic and quantum automata. (English)
Inf. Comput. 218, 36-53 (2012).
WorldCat.org
2
PDF XML AMS-TeX TEXT BIBTeX DOI
Automatic learning of subclasses of pattern languages. (English)
Inf. Comput. 218, 17-35 (2012).
WorldCat.org
3
PDF XML AMS-TeX TEXT BIBTeX DOI
Consecutive ones property and PQ-trees for multisets: hardness of counting their orderings. (English)
Inf. Comput. 219, 58-70 (2012).
WorldCat.org
4
PDF XML AMS-TeX TEXT BIBTeX DOI
Approximate counting for complex-weighted Boolean constraint satisfaction problems. (English)
Inf. Comput. 219, 17-38 (2012).
WorldCat.org
5
PDF XML AMS-TeX TEXT BIBTeX DOI
Connected graph searching. (English)
Inf. Comput. 219, 1-16 (2012).
WorldCat.org
6
PDF XML AMS-TeX TEXT BIBTeX DOI
Restricted space algorithms for isomorphism on bounded treewidth graphs. (English)
Inf. Comput. 217, 71-83 (2012).
WorldCat.org
7
PDF XML AMS-TeX TEXT BIBTeX DOI
Fundamentals of session types. (English)
Inf. Comput. 217, 52-70 (2012).
WorldCat.org
8
PDF XML AMS-TeX TEXT BIBTeX DOI
Functorial data migration. (English)
Inf. Comput. 217, 31-51 (2012).
WorldCat.org
9
PDF XML AMS-TeX TEXT BIBTeX DOI
Deciding regularity of hairpin completions of regular languages in polynomial time. (English)
Inf. Comput. 217, 12-30 (2012).
WorldCat.org
10
PDF XML AMS-TeX TEXT BIBTeX DOI
The isomorphism problem for $k$-trees is complete for logspace. (English)
Inf. Comput. 217, 1-11 (2012).
WorldCat.org
11
PDF XML AMS-TeX TEXT BIBTeX DOI
The functions erf and erfc computed with arbitrary precision and explicit error bounds. (English)
Inf. Comput. 216, 72-95 (2012).
WorldCat.org
12
PDF XML AMS-TeX TEXT BIBTeX DOI
Accurate summation, dot product and polynomial evaluation in complex floating point arithmetic. (English)
Inf. Comput. 216, 57-71 (2012).
WorldCat.org
13
PDF XML AMS-TeX TEXT BIBTeX DOI
A study of decimal left shifters for binary numbers. (English)
Inf. Comput. 216, 47-56 (2012).
WorldCat.org
14
PDF XML AMS-TeX TEXT BIBTeX DOI
The world\rq s shortest correct exact real arithmetic program? (English)
Inf. Comput. 216, 39-46 (2012).
WorldCat.org
15
PDF XML AMS-TeX TEXT BIBTeX DOI
Interrogating witnesses for geometric constraint solving. (English)
Inf. Comput. 216, 24-38 (2012).
WorldCat.org
16
PDF XML AMS-TeX TEXT BIBTeX DOI
Floating-point arithmetic in the Coq system. (English)
Inf. Comput. 216, 14-23 (2012).
WorldCat.org
17
PDF XML AMS-TeX TEXT BIBTeX DOI
A robust algorithm for geometric predicate by error-free determinant transformation. (English)
Inf. Comput. 216, 3-13 (2012).
WorldCat.org
18
PDF XML AMS-TeX TEXT BIBTeX DOI
Multiset rewriting for the verification of depth-bounded processes with name binding. (English)
Inf. Comput. 215, 68-87 (2012).
WorldCat.org
19
PDF XML AMS-TeX TEXT BIBTeX DOI
A new look at the automatic synthesis of linear ranking functions. (English)
Inf. Comput. 215, 47-67 (2012).
WorldCat.org
20
PDF XML AMS-TeX TEXT BIBTeX DOI
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 1912 total

Valid XHTML 1.0 Transitional Valid CSS!