Two beta-equal lambda-I-terms with no types in common

JOURNAL ARTICLE published February 1996 in Theoretical Computer Science

Authors: M.W. Bunder | J.R. Hindley

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)

Authors: Ton Kloks | Sheung-Hung Poon | Feng-Ren Tsai | Yue-Li Wang

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)

Authors: Carlo Fuerst | Maciej Pacut | Stefan Schmid

Foreword

JOURNAL ARTICLE published October 1992 in Theoretical Computer Science

Authors: Alfonso Miola

Parikh-reducing Church–Rosser representations for some classes of regular languages

JOURNAL ARTICLE published November 2017 in Theoretical Computer Science

Authors: Tobias Walter

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

Authors: Jiqiang Lu | Yongzhuang Wei | Jongsung Kim | Enes Pasalic

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)

Authors: James Currie | Narad Rampersad

Directed acyclic graphs with the unique dipath property

JOURNAL ARTICLE published September 2013 in Theoretical Computer Science

Authors: Jean-Claude Bermond | Michel Cosnard | Stéphane Pérennes

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

Authors: Anna Philippou | Insup Lee | Oleg Sokolsky

A sound and complete model-generation procedure for consistent and confidentiality-preserving databases

JOURNAL ARTICLE published July 2011 in Theoretical Computer Science

Authors: Joachim Biskup | Lena Wiese

Δ-languages for sets and LOGSPACE computable graph transformers

JOURNAL ARTICLE published March 1997 in Theoretical Computer Science

Authors: Alexei Lisitsa | Vladimir Sazonov

More on advice on structuring compilers and proving them correct

JOURNAL ARTICLE published 1981 in Theoretical Computer Science

Authors: James W. Thatcher | Eric G. Wagner | Jesse B. Wright

Fast parallel string prefix-matching

JOURNAL ARTICLE published January 1995 in Theoretical Computer Science

Authors: Dany Breslauer

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)

Authors: Dariusz Dereniowski | Adrian Kosowski | Dominik Pająk

Exact real number computations relative to hereditarily total functionals

JOURNAL ARTICLE published July 2002 in Theoretical Computer Science

Authors: Dag Normann

Language preorder as a precongruence

JOURNAL ARTICLE published July 2000 in Theoretical Computer Science

Authors: Wan Fokkink

Probabilistic rely-guarantee calculus

JOURNAL ARTICLE published December 2016 in Theoretical Computer Science

Research funded by ARC (DP1092464) | EPSRC (EP/J003727/1)

Authors: Annabelle McIver | Tahiry Rabehaja | Georg Struth

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)

Authors: Edita Pelantová | Štěpán Starosta