Facet browsing currently unavailable
Page 10 of 8570 results
Sort by: relevance publication year
Optimal speed-up algorithms for template matching on SIMD hypercube multiprocessors with restricted local memory JOURNAL ARTICLE published April 1991 in Information Processing Letters |
Traveling the boundary of Minkowski sums JOURNAL ARTICLE published May 1998 in Information Processing Letters |
A linear algorithm of a deadlock avoidance for nonpreemptible resources JOURNAL ARTICLE published August 1984 in Information Processing Letters |
Editorial Board JOURNAL ARTICLE published May 2009 in Information Processing Letters |
Board of Editors JOURNAL ARTICLE published March 2005 in Information Processing Letters |
A technique for reducing comparison times in certain applications of the merging method of sorting JOURNAL ARTICLE published January 1974 in Information Processing Letters |
Equivariant algorithms for constraint satisfaction problems over coset templates JOURNAL ARTICLE published February 2017 in Information Processing Letters Research funded by NCN (2012/07/B/ST6/01497) |
An approach for data type specification and its use in program verification JOURNAL ARTICLE published February 1979 in Information Processing Letters |
Editorial Board JOURNAL ARTICLE published January 1986 in Information Processing Letters |
On the determinacy problem for two-way pushdown automata JOURNAL ARTICLE published December 1994 in Information Processing Letters |
ANSV problem on BSRs JOURNAL ARTICLE published February 1998 in Information Processing Letters |
Editorial Board JOURNAL ARTICLE published October 2005 in Information Processing Letters |
An unintentional omission from Algol 68 JOURNAL ARTICLE published December 1972 in Information Processing Letters |
Learning unions of high-dimensional boxes over the reals JOURNAL ARTICLE published March 2000 in Information Processing Letters |
On packing shortest cycles in graphs JOURNAL ARTICLE published June 2009 in Information Processing Letters |
Perfect stables in graphs JOURNAL ARTICLE published July 1983 in Information Processing Letters |
Rearranging scattered information on BSR JOURNAL ARTICLE published July 1999 in Information Processing Letters |
Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic JOURNAL ARTICLE published January 1986 in Information Processing Letters |
An algorithm for horizontal decompositions JOURNAL ARTICLE published August 1983 in Information Processing Letters |
On the isomorphism of expressions JOURNAL ARTICLE published May 2000 in Information Processing Letters |