Facet browsing currently unavailable
Page 7 of 16663 results
Sort by: relevance publication year
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 |
Set graphs. II. Complexity of set graph recognition and similar problems JOURNAL ARTICLE published August 2014 in Theoretical Computer Science Research funded by Slovenian Research Agency (P1–0285,J1–4010,J1–4021,J1–5433) | European Science Foundation (N1–0011) | Academy of Finland (250345) |
Contents EATCS bulletin number 68, June 1999 JOURNAL ARTICLE published August 1999 in Theoretical Computer Science |