Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 10 of 16663 results
Sort by: relevance publication year
Showing results for ISSN matching 0304-3975

Type inference in Prolog: a new approach

JOURNAL ARTICLE published October 1993 in Theoretical Computer Science

Authors: M.-M. Corsini | K. Musumbu

https://doi.org/10.1016/0304-3975(93)90338-t Actions

The undecidability of simultaneous rigid E-unification

JOURNAL ARTICLE published October 1996 in Theoretical Computer Science

Authors: Anatoli Degtyarev | Andrei Voronkov

https://doi.org/10.1016/0304-3975(96)00092-8 Actions

Computing monodromy via continuation methods on random Riemann surfaces

JOURNAL ARTICLE published April 2011 in Theoretical Computer Science

Authors: André Galligo | Adrien Poteaux

https://doi.org/10.1016/j.tcs.2010.11.047 Actions

On generalized highly potential words

JOURNAL ARTICLE published January 2021 in Theoretical Computer Science

Research funded by Ministarstvo Prosvete, Nauke i Tehnološkog Razvoja (174006)

Authors: Kristina Ago | Bojan Bašić | Stefan Hačko | Danijela Mitrović

https://doi.org/10.1016/j.tcs.2020.10.022 Actions

The possible cardinalities of global secure sets in cographs

JOURNAL ARTICLE published January 2012 in Theoretical Computer Science

Authors: Katarzyna Jesse-Józefczyk

https://doi.org/10.1016/j.tcs.2011.10.004 Actions

Contextual array grammars with matrix control, regular control languages, and tissue P systems control

JOURNAL ARTICLE published June 2017 in Theoretical Computer Science

Authors: Artiom Alhazov | Henning Fernau | Rudolf Freund | Sergiu Ivanov | Rani Siromoney | K.G. Subramanian

https://doi.org/10.1016/j.tcs.2017.03.012 Actions

Computing the hull number in Δ-convexity

JOURNAL ARTICLE published December 2020 in Theoretical Computer Science

Research funded by University Grants Commission-JRF (1220/CSIR-UGC NET DEC. 2017) | DST SERB (MTR/20l7/000238) | Conselho Nacional de Desenvolvimento Científico e Tecnológico (303546/2016-6) | University of Kerala (Ac.E.VI(1)/39010/JRF/2018)

Authors: Bijo S. Anand | Arun Anil | Manoj Changat | Mitre C. Dourado | Sabeer S. Ramla

https://doi.org/10.1016/j.tcs.2020.08.024 Actions

On Lazy Bin Covering and Packing problems

JOURNAL ARTICLE published January 2010 in Theoretical Computer Science

Authors: Mingen Lin | Yang Yang | Jinhui Xu

https://doi.org/10.1016/j.tcs.2009.10.006 Actions

A computational complexity comparative study of graph tessellation problems

JOURNAL ARTICLE published February 2021 in Theoretical Computer Science

Authors: Alexandre Abreu | Luís Cunha | Celina de Figueiredo | Luis Kowada | Franklin Marquezino | Renato Portugal | Daniel Posner

https://doi.org/10.1016/j.tcs.2020.11.045 Actions

On the ratio of growth functions in EDTOL languages

JOURNAL ARTICLE published 1984 in Theoretical Computer Science

Authors: Gerald S. Eisman

https://doi.org/10.1016/0304-3975(84)90006-9 Actions

Preface

JOURNAL ARTICLE published March 2007 in Theoretical Computer Science

Authors: Thomas Eiter | Leonid Libkin

https://doi.org/10.1016/j.tcs.2006.11.004 Actions

Editorial board

JOURNAL ARTICLE published February 2004 in Theoretical Computer Science

https://doi.org/10.1016/s0304-3975(04)00061-1 Actions

Deadness and how to disprove liveness in hybrid dynamical systems

JOURNAL ARTICLE published August 2016 in Theoretical Computer Science

Research funded by Engineering and Physical Sciences Research Council (EP/I001689/1) | Research Councils UK (EP/E50048/1)

Authors: Eva M. Navarro-López | Rebekah Carter

https://doi.org/10.1016/j.tcs.2016.06.009 Actions

Editorial Board

JOURNAL ARTICLE published September 2020 in Theoretical Computer Science

https://doi.org/10.1016/s0304-3975(20)30394-7 Actions

Sharp thresholds for Hamiltonicity in random intersection graphs

JOURNAL ARTICLE published September 2010 in Theoretical Computer Science

Authors: Charilaos Efthymiou | Paul G. Spirakis

https://doi.org/10.1016/j.tcs.2010.06.022 Actions

A note on the complexity of deciding bisimilarity of normed unary processes

JOURNAL ARTICLE published September 1994 in Theoretical Computer Science

Authors: Dung T. Huynh | Lu Tian

https://doi.org/10.1016/0304-3975(94)90183-x Actions

Semantic and logical foundations of global computing: Papers from the EU-FET global computing initiative (2001–2005)

JOURNAL ARTICLE published December 2007 in Theoretical Computer Science

Authors: Donald Sannella | Vladimiro Sassone

https://doi.org/10.1016/j.tcs.2007.09.017 Actions

Editorial Board

JOURNAL ARTICLE published July 2017 in Theoretical Computer Science

https://doi.org/10.1016/s0304-3975(17)30492-9 Actions

Randomized routing on generalized hypercubes

JOURNAL ARTICLE published May 1996 in Theoretical Computer Science

Authors: Afonso Ferreira | Miltos Grammatikakis

https://doi.org/10.1016/0304-3975(95)00041-0 Actions

Editorial Board

JOURNAL ARTICLE published July 2021 in Theoretical Computer Science

https://doi.org/10.1016/s0304-3975(21)00330-3 Actions
Feedback: support@crossref.org