Author: Belohlavek Radim
Publisher: Oxford University Press
ISSN: 1465-363X
Source: Journal of Logic and Computation, Vol.22, Iss.6, 2012-12, pp. : 1405-1425
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
From cascade decompositions to bit-vector algorithms
Theoretical Computer Science, Vol. 313, Iss. 1, 2004-02 ,pp. :
Optimal algorithms for generalized searching in sorted matrices
By Hong S.
Theoretical Computer Science, Vol. 188, Iss. 1, 1997-11 ,pp. :
From multiple sequent for additive linear logic to decision procedures for free lattices
By Marion J.-Y.
Theoretical Computer Science, Vol. 224, Iss. 1, 1999-08 ,pp. :