Author: Björklund Andreas Husfeldt Thore
Publisher: Springer Publishing Company
ISSN: 0178-4617
Source: Algorithmica, Vol.52, Iss.2, 2008-10, pp. : 226-249
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
Algorithmica, Vol. 63, Iss. 1-2, 2012-06 ,pp. :
The exact number of squares in Fibonacci words
Theoretical Computer Science, Vol. 218, Iss. 1, 1999-04 ,pp. :
Using PVS to validate the algorithms of an exact arithmetic
Theoretical Computer Science, Vol. 291, Iss. 2, 2003-01 ,pp. :
Algorithms for Testing Satisfiability Formulas
By Vlada M.
Artificial Intelligence Review, Vol. 15, Iss. 3, 2001-05 ,pp. :