Introduction to the theory of computation

References

No references recorded for this paper.

Cited by

• Synthesis and Verification of Digital Circuits using Functional Simulation and Boolean SatisfiabilityIgor L. Markov, Valeria Bertacco, Stephen M. Plaza — 2008
• Calculating RNA motif probabilities and recognizing patterns in sequence dataRyan Kennedy — 2009
• Variants of the Consecutive Ones Property: Algorithms, Computational Complexity and Applications to GenomicsAshok Rajaraman — 2015
• Using factor score estimates in latent variable analysisKari Azevedo — 2002
• Algorithms for testing equivalence of finite automata, with a grading tool for JFLAPD.S. Norton — 2009
• MiniMerge: Symmetry-Free Learning in Combinatorial ProblemsB.J. Schaafsma — 2009
• Semidefinite and Cone Programming Bibliography/CommentsHenry Wolkowicz — 2009
• The Capricious Character of Nature昭彦 嶋谷 — 2012
• Design and analysis of combinatorial protein libraries created by site-directed recombinationJeffrey B. Endelman — 2005
• Graph Searching and Related ProblemsAnthony Bonato, Boting Yang — 2013
• Modal logic in computer scienceLeigh Lambert — 2006
• Automating and Validating Semantic AnnotationsMark Grechanik, Kathryn S. McKinley, Dewayne E. Perry — 2006
• Limitations of Non-Deterministic Finite Automata Imposed by One Letter Input AlphabetLaura Mančinska, Māris Ozols, Renate Praude — 2005
• Cache characterization and performance studies using locality surfacesJ. Kelly Flanagan, Elizabeth S. Sorenson — 2005
• Design exploration and experimental validation of abstract requirementsRoozbeh Farahbod, Vincenzo Gervasi, U. Glaesser — 2006
• Alternating Towers and Piecewise Testable SeparatorsŠtěpán Holub, Tomáš Masopust, Michaël Thomazo — 2014
• Producing and verifying extremely large propositional refutationsAllen Van Gelder — 2012
• Crude, Cheesy, Second-Rate ConsciousnessJoanna J. Bryson, Mark A. Bishop — 2009
• Linear logic, type assignment systems and implicit computational complexity. (Logique linéaire, systèmes de types et complexité implicite)Erika De Benedetti — 2015
• Dominance and Equivalence for Sensor-Based AgentsJason M. O’Kane, Steven M. LaValle — 2007

Related papers

No related papers recorded.