Optimizing stable in-place merging

JOURNAL ARTICLE published June 2003 in Theoretical Computer Science

Authors: Jingchao Chen

Foreword

JOURNAL ARTICLE published 1981 in Theoretical Computer Science

Authors: Ronald V. Book

Discrete mathematical structures: From dynamics to complexity

JOURNAL ARTICLE published September 2013 in Theoretical Computer Science

Authors: Cristian Calude | Bruno Durand | Anahí Gajardo | Dominique Perrin | Ivan Rapaport | Sergio Rica

Preface

JOURNAL ARTICLE published April 2013 in Theoretical Computer Science

Authors: Ilias S. Kotsireas | Bernard Mourrain | Victor Y. Pan | Lihong Zhi

No feasible monotone interpolation for simple combinatorial reasoning

JOURNAL ARTICLE published May 2000 in Theoretical Computer Science

Authors: Noriko H. Arai

Cohesion of object histories

JOURNAL ARTICLE published January 1989 in Theoretical Computer Science

Authors: Seymour Ginsburg | Chang-jie Tang

Shape matching by random sampling

JOURNAL ARTICLE published July 2012 in Theoretical Computer Science

Authors: Helmut Alt | Ludmila Scharf

PTAS for connected vertex cover in unit disk graphs

JOURNAL ARTICLE published December 2009 in Theoretical Computer Science

Authors: Zhao Zhang | Xiaofeng Gao | Weili Wu

Techniques for parallel manipulation of sparse matrices

JOURNAL ARTICLE published May 1989 in Theoretical Computer Science

Authors: Clyde P. Kruskal | Larry Rudolph | Marc Snir

Some undecidable termination problems for semi-Thue systems

JOURNAL ARTICLE published May 1995 in Theoretical Computer Science

Authors: Géraud Sénizergues

Completing prefix codes in submonoids

JOURNAL ARTICLE published May 2006 in Theoretical Computer Science

Authors: Jean Néraud

Two-agent parallel-machine scheduling with rejection

JOURNAL ARTICLE published December 2017 in Theoretical Computer Science

Authors: Dawei Li | Xiwen Lu

Total completion time minimization scheduling on two hierarchical uniform machines

JOURNAL ARTICLE published November 2017 in Theoretical Computer Science

Research funded by National Natural Science Foundation of China (11571013) | Zhejiang Provincial Natural Science Foundation of China (LR15G010001,LQ15G010001)

Authors: Hao Zhou | Yiwei Jiang | Ping Zhou | Min Ji | Yun Zhao

Equivalence of two fixed-point semantics for definitional higher-order logic programs

JOURNAL ARTICLE published March 2017 in Theoretical Computer Science

Authors: Angelos Charalambidis | Panos Rondogiannis | Ioanna Symeonidou

On abstract normalisation beyond neededness

JOURNAL ARTICLE published April 2017 in Theoretical Computer Science

Research funded by Universidad Nacional de Quilmes (PUNQ) | Universidad de Buenos Aires (UBACyT)

Authors: Eduardo Bonelli | Delia Kesner | Carlos Lombardi | Alejandro Ríos

Bisimulation invariant monadic-second order logic in the finite

JOURNAL ARTICLE published July 2020 in Theoretical Computer Science

Research funded by Czech Science Foundation (GA17-01035S)

Authors: Achim Blumensath | Felix Wolf

Set systems: Order types, continuous nondeterministic deformations, and quasi-orders

JOURNAL ARTICLE published October 2011 in Theoretical Computer Science

Authors: Yohji Akama

FPTASs for trimming weighted trees

JOURNAL ARTICLE published January 2013 in Theoretical Computer Science

Research funded by National Natural Science Foundation of China (60903007)

Authors: Mingyu Xiao | Takuro Fukunaga | Hiroshi Nagamochi

The Frobenius problem for homomorphic embeddings of languages into the integers

JOURNAL ARTICLE published July 2018 in Theoretical Computer Science

Authors: Michel Dekking

Some undecidability results concerning the property of preserving regularity

JOURNAL ARTICLE published October 1998 in Theoretical Computer Science

Authors: Friedrich Otto