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

Realizability models for BLL-like languages

JOURNAL ARTICLE published June 2004 in Theoretical Computer Science

Authors: M. Hofmann | P.J. Scott

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

Co-induction in relational semantics

JOURNAL ARTICLE published September 1991 in Theoretical Computer Science

Authors: Robin Milner | Mads Tofte

https://doi.org/10.1016/0304-3975(91)90033-x Actions

kNN-P: A kNN classifier optimized by P systems

JOURNAL ARTICLE published May 2020 in Theoretical Computer Science

Research funded by Research Fund of Sichuan Science and Technology (2018JY0083) | Chunhui Project Foundation of the Education Department of China (Z2016143,Z2016148) | Education Department of Sichuan Province (17TD0034)

Authors: Juan Hu | Hong Peng | Jun Wang | Wenping Yu

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

The Girard–Reynolds isomorphism (second edition)

JOURNAL ARTICLE published May 2007 in Theoretical Computer Science

Authors: Philip Wadler

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

Formal parametric polymorphism

JOURNAL ARTICLE published December 1993 in Theoretical Computer Science

Authors: M. Abadi | L. Cardelli | P.-L. Curien

https://doi.org/10.1016/0304-3975(93)90082-5 Actions

A church-style intermediate language for MLF

JOURNAL ARTICLE published June 2012 in Theoretical Computer Science

Authors: Didier Rémy | Boris Yakobowski

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

A data structure for substring-substring LCS length queries

JOURNAL ARTICLE published April 2022 in Theoretical Computer Science

Authors: Yoshifumi Sakai

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

Free-algebra models for the π -calculus

JOURNAL ARTICLE published January 2008 in Theoretical Computer Science

Authors: Ian Stark

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

On the parameterized complexity of consensus clustering

JOURNAL ARTICLE published July 2014 in Theoretical Computer Science

Research funded by DFG (NI 369/11)

Authors: Martin Dörnfelder | Jiong Guo | Christian Komusiewicz | Mathias Weller

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

Polynomial time algorithm for computing a minimum geodetic set in outerplanar graphs

JOURNAL ARTICLE published October 2018 in Theoretical Computer Science

Authors: Mauro Mezzini

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

Probabilistic event structures and domains

JOURNAL ARTICLE published August 2006 in Theoretical Computer Science

Authors: Daniele Varacca | Hagen Völzer | Glynn Winskel

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

Improved online algorithms for parallel job scheduling and strip packing

JOURNAL ARTICLE published February 2011 in Theoretical Computer Science

Authors: J.L. Hurink | J.J. Paulus

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

Automatic average-case analysis of algorithms

JOURNAL ARTICLE published February 1991 in Theoretical Computer Science

Authors: Philippe Flajolet | Bruno Salvy | Paul Zimmermann

https://doi.org/10.1016/0304-3975(91)90145-r Actions

A proof outline logic for object-oriented programming

JOURNAL ARTICLE published October 2005 in Theoretical Computer Science

Authors: Cees Pierik | Frank S. de Boer

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

On sparse evaluation representations

JOURNAL ARTICLE published April 2002 in Theoretical Computer Science

Authors: G. Ramalingam

https://doi.org/10.1016/s0304-3975(00)00315-7 Actions

A constraint-based region inference algorithm

JOURNAL ARTICLE published May 2001 in Theoretical Computer Science

Authors: Lars Birkedal | Mads Tofte

https://doi.org/10.1016/s0304-3975(00)00025-6 Actions

Monotone k-submodular secretary problems: Cardinality and knapsack constraints

JOURNAL ARTICLE published June 2022 in Theoretical Computer Science

Authors: Zhongzheng Tang | Chenhao Wang | Hau Chan

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

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

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

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

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

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

https://doi.org/10.1016/j.tcs.2020.03.001 Actions
Feedback: support@crossref.org