Facet browsing currently unavailable
Page 3 of 16646 results
Sort by: relevance publication year
Author index JOURNAL ARTICLE published January 2003 in Theoretical Computer Science |
Preface JOURNAL ARTICLE published May 2009 in Theoretical Computer Science |
Editorial Board JOURNAL ARTICLE published February 1977 in Theoretical Computer Science |
Editorial Board JOURNAL ARTICLE published December 2014 in Theoretical Computer Science |
Efficient optimally lazy algorithms for minimal-interval semantics JOURNAL ARTICLE published October 2016 in Theoretical Computer Science |
Editorial Board JOURNAL ARTICLE published May 1996 in Theoretical Computer Science |
Automatic synthesis of a subclass of schedulers in timed systems JOURNAL ARTICLE published April 2003 in Theoretical Computer Science |
The computational complexity of the parallel knock-out problem JOURNAL ARTICLE published March 2008 in Theoretical Computer Science |
GHS algorithm on a graph with random weights JOURNAL ARTICLE published August 2020 in Theoretical Computer Science Research funded by Narodowe Centrum Nauki (2014/13/D/ST1/01175) |
Properties of grammatical codes of trees JOURNAL ARTICLE published March 1994 in Theoretical Computer Science |
Author index volume 47 (1986) JOURNAL ARTICLE published 1986 in Theoretical Computer Science |
On the directional dynamics of additive cellular automata JOURNAL ARTICLE published November 2009 in Theoretical Computer Science |
A deterministic worst-case message complexity optimal solution for resource discovery JOURNAL ARTICLE published June 2015 in Theoretical Computer Science Research funded by DFG (SFB 901) |
Editorial Board JOURNAL ARTICLE published May 2023 in Theoretical Computer Science |
Uncomputably large integral points on algebraic plane curves? JOURNAL ARTICLE published March 2000 in Theoretical Computer Science |
Errata for the paper “Predecessor existence problems for finite discrete dynamical systems” [Theoret. Comput. Sci. 386 (1–2) (2007) 3–37] JOURNAL ARTICLE published April 2008 in Theoretical Computer Science |
A polynomial-time algorithm for the weighted link ring loading problem with integer demand splitting JOURNAL ARTICLE published June 2010 in Theoretical Computer Science |
A four-stage algorithm for updating a Burrows–Wheeler transform JOURNAL ARTICLE published October 2009 in Theoretical Computer Science |
Move-to-Front, Distance Coding, and Inversion Frequencies revisited JOURNAL ARTICLE published June 2010 in Theoretical Computer Science |
Unions of non-disjoint theories and combinations of satisfiability procedures JOURNAL ARTICLE published January 2003 in Theoretical Computer Science |