Authors: ISHIHARA H KHOUSSAINOV B NERODE A

Citation: H. Ishihara et al., COMPUTABLE KRIPKE MODELS AND INTERMEDIATE LOGICS, Information and computation, 143(2), 1998, pp. 205-230

Authors: ISHIHARA H KHOUSSAINOV B NERODE A

Citation: H. Ishihara et al., DECIDABLE KRIPKE MODELS OF INTUITIONISTIC THEORIES, Annals of pure and applied Logic, 93(1-3), 1998, pp. 115-123

Authors: KHOUSSAINOV B SHORE RA

Citation: B. Khoussainov et Ra. Shore, COMPUTABLE ISOMORPHISMS, DEGREE SPECTRA OF RELATIONS, AND SCOTT FAMILIES, Annals of pure and applied Logic, 93(1-3), 1998, pp. 153-193

Authors: KHOUSSAINOV B

Citation: B. Khoussainov, RANDOMNESS, COMPUTABILITY, AND ALGEBRAIC SPECIFICATIONS, Annals of pure and applied Logic, 91(1), 1998, pp. 1-15

Authors: CALUDE C CALUDE E KHOUSSAINOV B

Citation: C. Calude et al., DETERMINISTIC AUTOMATA - SIMULATION, UNIVERSALITY AND MINIMALITY, Annals of pure and applied Logic, 90(1-3), 1997, pp. 263-276

Authors: KHOUSSAINOV B

Citation: B. Khoussainov, RECURSIVE UNARY ALGEBRAS AND TREES, Annals of pure and applied Logic, 67(1-3), 1994, pp. 213-268