Facet browsing currently unavailable
Page 10 of 16663 results
Sort by: relevance publication year
Submodule construction as equation solving in CCS JOURNAL ARTICLE published October 1989 in Theoretical Computer Science |
Pushing the frontier of minimality JOURNAL ARTICLE published October 2018 in Theoretical Computer Science Research funded by Science Foundation Ireland (SFI/12/RC/2289) |
Topological adjacency relations on Zn JOURNAL ARTICLE published June 2002 in Theoretical Computer Science |
Editorial Board JOURNAL ARTICLE published May 2023 in Theoretical Computer Science |
Boundary properties of graphs for algorithmic graph problems JOURNAL ARTICLE published July 2011 in Theoretical Computer Science |
Extending algebraic operations to JOURNAL ARTICLE published April 2012 in Theoretical Computer Science |
Local search is a PTAS for feedback vertex set in minor-free graphs JOURNAL ARTICLE published October 2020 in Theoretical Computer Science |
Satisfying ternary permutation constraints by multiple linear orders or phylogenetic trees JOURNAL ARTICLE published January 2016 in Theoretical Computer Science |
Author index JOURNAL ARTICLE published March 2003 in Theoretical Computer Science |
Catalan structures and Catalan pairs JOURNAL ARTICLE published September 2013 in Theoretical Computer Science |
Sparse solutions of sparse linear systems: Fixed-parameter tractability and an application of complex group testing JOURNAL ARTICLE published November 2013 in Theoretical Computer Science |
Algorithms and Computation (ISAAC 2012) JOURNAL ARTICLE published August 2014 in Theoretical Computer Science |
Editorial Board JOURNAL ARTICLE published December 2012 in Theoretical Computer Science |
All-to-all broadcast problems on Cartesian product graphs JOURNAL ARTICLE published January 2016 in Theoretical Computer Science Research funded by National Science Council Taiwan (NSC102-2115-M-003-008-) | National Science Council Taiwan (NSC101-2115-M-156-003-) | National Science Council Taiwan (NSC100-2115-M-259-005-MY2) |
Partial specifications and compositional verification JOURNAL ARTICLE published September 1991 in Theoretical Computer Science |
Editorial board v-ix JOURNAL ARTICLE published June 2004 in Theoretical Computer Science |
On switching classes, NLC-width, cliquewidth and treewidth JOURNAL ARTICLE published April 2012 in Theoretical Computer Science |
Constructive metrisability in point-free topology JOURNAL ARTICLE published August 2003 in Theoretical Computer Science |
Quasi-deterministic OL systems and their representation JOURNAL ARTICLE published August 1995 in Theoretical Computer Science |
Master index volumes 111–120 JOURNAL ARTICLE published November 1993 in Theoretical Computer Science |