Facet browsing currently unavailable
Page 3 of 16663 results
Sort by: relevance publication year
Two beta-equal lambda-I-terms with no types in common JOURNAL ARTICLE published February 1996 in Theoretical Computer Science |
On the complexity of the black-and-white coloring problem on some classes of perfect graphs JOURNAL ARTICLE published May 2014 in Theoretical Computer Science Research funded by National Science Council of Taiwan (NSC 99-2218-E-007-016) |
Editorial Board JOURNAL ARTICLE published August 2013 in Theoretical Computer Science |
Data locality and replica aware virtual cluster embeddings JOURNAL ARTICLE published October 2017 in Theoretical Computer Science Research funded by Polish National Science Centre (DEC-2013/09/B/ST6/01538) | EU (FP7-ICT-317858) | BMBF (01IS12056) |
Foreword JOURNAL ARTICLE published October 1992 in Theoretical Computer Science |
Parikh-reducing Church–Rosser representations for some classes of regular languages JOURNAL ARTICLE published November 2017 in Theoretical Computer Science |
The higher-order meet-in-the-middle attack and its application to the Camellia block cipher JOURNAL ARTICLE published March 2014 in Theoretical Computer Science |
Editorial Board JOURNAL ARTICLE published August 2018 in Theoretical Computer Science |
Growth rate of binary words avoiding xxx JOURNAL ARTICLE published January 2016 in Theoretical Computer Science Research funded by NSERC (42410-2010) | NSERC (418646-2012) |
Directed acyclic graphs with the unique dipath property JOURNAL ARTICLE published September 2013 in Theoretical Computer Science |
PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling JOURNAL ARTICLE published January 2012 in Theoretical Computer Science |
A sound and complete model-generation procedure for consistent and confidentiality-preserving databases JOURNAL ARTICLE published July 2011 in Theoretical Computer Science |
Δ-languages for sets and LOGSPACE computable graph transformers JOURNAL ARTICLE published March 1997 in Theoretical Computer Science |
More on advice on structuring compilers and proving them correct JOURNAL ARTICLE published 1981 in Theoretical Computer Science |
Fast parallel string prefix-matching JOURNAL ARTICLE published January 1995 in Theoretical Computer Science |
Distinguishing views in symmetric networks: A tight lower bound JOURNAL ARTICLE published May 2015 in Theoretical Computer Science Research funded by National Science Centre of Poland (DEC-2011/02/A/ST6/00201) |
Exact real number computations relative to hereditarily total functionals JOURNAL ARTICLE published July 2002 in Theoretical Computer Science |
Language preorder as a precongruence JOURNAL ARTICLE published July 2000 in Theoretical Computer Science |
Probabilistic rely-guarantee calculus JOURNAL ARTICLE published December 2016 in Theoretical Computer Science Research funded by ARC (DP1092464) | EPSRC (EP/J003727/1) |
Palindromic richness for languages invariant under more symmetries JOURNAL ARTICLE published January 2014 in Theoretical Computer Science Research funded by Czech Science Foundation (GAČR 201/09/0584) | Grant Agency of the Czech Technical University in Prague (SGS11/162/OHK4/3T/14) | Czech Science Foundation (GAČR 13-03538S) | Czech Science Foundation (GAČR 13-35273P) |