The following pages link to Sorin Istrail (Q786542):
Displayed 39 items.
- (Q761794) (redirect page) (← links)
- Nivat's processing systems: decision problems related to protection and synchronization (Q761796) (← links)
- Some remarks on non-algebraic adherences (Q786543) (← links)
- Combinatorial algorithms for protein folding in lattice models: a survey of mathematical results (Q966201) (← links)
- An arithmetical hierarchy in propositional dynamic logic (Q1119628) (← links)
- Generalization of the Ginsburg-Rice Schuetzenberger fixed-point theorem for context-sensitive and recursive-enumerable languages (Q1160495) (← links)
- Tag systems generating Thue irreductible sequences (Q1249168) (← links)
- Bounded-width polynomial-size Boolean formulas compute exactly those functions in AC\(^ 0\) (Q1327317) (← links)
- Polynomial and APX-hard cases of the individual haplotyping problem (Q1781994) (← links)
- (Q3024798) (← links)
- (Q3158109) (← links)
- Statistical mechanics, three-dimensionality and NP-completeness (Q3191975) (← links)
- (Q3221430) (← links)
- On complements of some bounded context-sensitive languages (Q3859270) (← links)
- (Q3859277) (← links)
- (Q3893342) (← links)
- (Q3959447) (← links)
- (Q4141427) (← links)
- (Q4144811) (← links)
- (Q4148953) (← links)
- (Q4151737) (← links)
- (Q4162676) (← links)
- (Q4164843) (← links)
- Elementary bounded languages (Q4168094) (← links)
- (Q4178508) (← links)
- (Q4198032) (← links)
- (Q4207598) (← links)
- (Q4234061) (← links)
- (Q4281559) (← links)
- The pagenumber of genus <i>g</i> graphs is O( <i>g</i> ) (Q4302800) (← links)
- Bisimulation can't be traced (Q4369863) (← links)
- (Q4408101) (← links)
- (Q4408102) (← links)
- (Q4452087) (← links)
- (Q4743748) (← links)
- (Q4796705) (← links)
- Alan Turing and John von Neumann - Their Brains and Their Computers (Q4913828) (← links)
- (Q4952629) (← links)
- Computational Methods for SNPs and Haplotype Inference (Q5428896) (← links)