Membership problem for embedded multivalued dependencies under some restricted conditions

JOURNAL ARTICLE published 1983 in Theoretical Computer Science

Authors: Minoru Ito | Kenichi Taniguchi | Tadao Kasami

Non-maximal sensitivity to synchronism in elementary cellular automata: Exact asymptotic measures

JOURNAL ARTICLE published August 2022 in Theoretical Computer Science

Authors: Pedro Paulo Balbi | Enrico Formenti | Kévin Perrot | Sara Riva | Eurico L.P. Ruivo

Determinancy → (observation equivalence = trace equivalence)

JOURNAL ARTICLE published 1985 in Theoretical Computer Science

Authors: Joost Engelfriet

Author index volume 92 (1992)

JOURNAL ARTICLE published January 1992 in Theoretical Computer Science

A study of primer design with w-constacyclic shift over F4

JOURNAL ARTICLE published June 2023 in Theoretical Computer Science

Authors: Narendra Kumar | Siddhartha Siddhiprada Bhoi | Abhay Kumar Singh

Reconstruction of binary matrices under fixed size neighborhood constraints

JOURNAL ARTICLE published October 2008 in Theoretical Computer Science

Authors: S. Brocchi | A. Frosini | C. Picouleau

Local-entity resolution for building location-based social networks by using stay points

JOURNAL ARTICLE published January 2021 in Theoretical Computer Science

Research funded by Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (001) | National Council for Scientific and Technological Development (304040/2019-3) | State of São Paulo Research Foundation (15/14228-9) | National Council for Scientific and Technological Development (302645/2015-2)

Authors: Diego Minatel | Vinícius Ferreira | Alneu de Andrade Lopes

On the algebraic structure of declarative programming languages

JOURNAL ARTICLE published November 2009 in Theoretical Computer Science

Authors: Gianluca Amato | James Lipton | Robert McGrail

The Magnus–Derek game

JOURNAL ARTICLE published March 2008 in Theoretical Computer Science

Authors: Z. Nedev | S. Muthukrishnan

Connectivity of discrete planes

JOURNAL ARTICLE published June 2004 in Theoretical Computer Science

Authors: Valentin E. Brimkov | Reneta P. Barneva

On the strongly generic undecidability of the Halting Problem

JOURNAL ARTICLE published May 2007 in Theoretical Computer Science

Authors: Alexander Rybalov

Call admission problems on grids with advice

JOURNAL ARTICLE published May 2022 in Theoretical Computer Science

Authors: Hans-Joachim Böckenhauer | Dennis Komm | Raphael Wegner

A fast randomized LOGSPACE algorithm for graph connectivity

JOURNAL ARTICLE published December 1996 in Theoretical Computer Science

Authors: Uriel Feige

Control machines: A new model of parallelism for compositional specifications and their effective compilation

JOURNAL ARTICLE published September 1991 in Theoretical Computer Science

Authors: A.G. Heibig

On the suitability of trace semantics for modular proofs of communicating processes

JOURNAL ARTICLE published 1985 in Theoretical Computer Science

Authors: R.J.R. Back | H. Mannila

Tractability conditions for numeric CSPs

JOURNAL ARTICLE published March 2018 in Theoretical Computer Science

Authors: Peter Jonsson | Johan Thapper

A note on: ‘Deque automata and a subfamily of context-sensitive languages which contains all semilinear bounded languages’ (by K. Ayers)

JOURNAL ARTICLE published 1987 in Theoretical Computer Science

Authors: Franz J. Brandenburg

Advances in Algorithms & Combinatorics on Strings (Honoring 60th birthday for Prof. Costas S. Iliopoulos)

JOURNAL ARTICLE published February 2018 in Theoretical Computer Science

Authors: Maxime Crochemore | Solon P. Pissis

Editorial board

JOURNAL ARTICLE published June 1994 in Theoretical Computer Science

Word operation definable in the typed λ-calculus

JOURNAL ARTICLE published 1987 in Theoretical Computer Science

Authors: Marek Zaionc