Facet browsing currently unavailable
Page 4 of 16663 results
Sort by: relevance publication year
Non-maximal sensitivity to synchronism in elementary cellular automata: Exact asymptotic measures JOURNAL ARTICLE published August 2022 in Theoretical Computer Science |
Determinancy → (observation equivalence = trace equivalence) JOURNAL ARTICLE published 1985 in Theoretical Computer Science |
Author index volume 92 (1992) JOURNAL ARTICLE published January 1992 in Theoretical Computer Science |
A study of primer design with w-constacyclic shift over JOURNAL ARTICLE published June 2023 in Theoretical Computer Science |
Reconstruction of binary matrices under fixed size neighborhood constraints JOURNAL ARTICLE published October 2008 in Theoretical Computer Science |
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) |
On the algebraic structure of declarative programming languages JOURNAL ARTICLE published November 2009 in Theoretical Computer Science |
Connectivity of discrete planes JOURNAL ARTICLE published June 2004 in Theoretical Computer Science |
On the strongly generic undecidability of the Halting Problem JOURNAL ARTICLE published May 2007 in Theoretical Computer Science |
Call admission problems on grids with advice JOURNAL ARTICLE published May 2022 in Theoretical Computer Science |
A fast randomized LOGSPACE algorithm for graph connectivity JOURNAL ARTICLE published December 1996 in Theoretical Computer Science |
Control machines: A new model of parallelism for compositional specifications and their effective compilation JOURNAL ARTICLE published September 1991 in Theoretical Computer Science |
On the suitability of trace semantics for modular proofs of communicating processes JOURNAL ARTICLE published 1985 in Theoretical Computer Science |
Tractability conditions for numeric CSPs JOURNAL ARTICLE published March 2018 in Theoretical Computer Science |
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 |
Advances in Algorithms & Combinatorics on Strings (Honoring 60th birthday for Prof. Costas S. Iliopoulos) JOURNAL ARTICLE published February 2018 in Theoretical Computer Science |
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 |
Preface JOURNAL ARTICLE published August 1999 in Theoretical Computer Science |
Author index volume 269 (2001) JOURNAL ARTICLE published October 2001 in Theoretical Computer Science |