Facet browsing currently unavailable
Page 5 of 16646 results
Sort by: relevance publication year
The Frobenius problem for homomorphic embeddings of languages into the integers JOURNAL ARTICLE published July 2018 in Theoretical Computer Science |
Some undecidability results concerning the property of preserving regularity JOURNAL ARTICLE published October 1998 in Theoretical Computer Science |
Editorial JOURNAL ARTICLE published July 2022 in Theoretical Computer Science |
Preface: Algorithms, complexity and models of computation JOURNAL ARTICLE published March 2009 in Theoretical Computer Science |
Editorial Board JOURNAL ARTICLE published August 2007 in Theoretical Computer Science |
Editorial Board JOURNAL ARTICLE published January 2012 in Theoretical Computer Science |
Affine scheduling on bounded convex polyhedric domains is asymptotically optimal JOURNAL ARTICLE published April 1998 in Theoretical Computer Science |
Pushout-complements and basic concepts of grammars in toposes JOURNAL ARTICLE published December 1990 in Theoretical Computer Science |
A short proof of representability of fork algebras JOURNAL ARTICLE published November 1997 in Theoretical Computer Science |
A 32log 3-competitive algorithm for the counterfeit coin problem JOURNAL ARTICLE published July 1997 in Theoretical Computer Science |
New results for finding common neighborhoods in massive graphs in the data stream model JOURNAL ARTICLE published November 2008 in Theoretical Computer Science |
Foreword JOURNAL ARTICLE published February 1995 in Theoretical Computer Science |
Using induction and rewriting to verify and complete parameterized specifications JOURNAL ARTICLE published December 1996 in Theoretical Computer Science |
Preface JOURNAL ARTICLE published April 2012 in Theoretical Computer Science |
Partial learning of recursively enumerable languages JOURNAL ARTICLE published March 2016 in Theoretical Computer Science Research funded by NUS (R252-000-420-112) | Natural Sciences and Engineering Research Council of Canada (386246-2010) |
De la logique aux pavages JOURNAL ARTICLE published June 2002 in Theoretical Computer Science |
Category-sorted algebra-based action semantics JOURNAL ARTICLE published December 1990 in Theoretical Computer Science |
Existential type systems between Church and Curry style (type-free style) JOURNAL ARTICLE published September 2014 in Theoretical Computer Science Research funded by Grants-in-Aid for Scientific Research (〈KAKENHI〉 (C) 25400192) | Polish government (Ministry of Science and Higher Education) (N N206 355836) |
Editorial Board JOURNAL ARTICLE published August 2013 in Theoretical Computer Science |
Corrigendum to “Expressiveness of matchgates” JOURNAL ARTICLE published April 2003 in Theoretical Computer Science |