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

On the existence of speed-independent circuits

JOURNAL ARTICLE published September 1991 in Theoretical Computer Science

Authors: C.-J. Seger

https://doi.org/10.1016/0304-3975(91)90024-v Actions

A compositional natural semantics and Hoare logic for low-level languages

JOURNAL ARTICLE published April 2007 in Theoretical Computer Science

Authors: Ando Saabas | Tarmo Uustalu

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

Automated higher-order complexity analysis

JOURNAL ARTICLE published June 2004 in Theoretical Computer Science

Authors: Ralph Benzinger

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

Pattern matching as cut elimination

JOURNAL ARTICLE published September 2004 in Theoretical Computer Science

Authors: Serenella Cerrito | Delia Kesner

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

A generalization of Owicki-Gries's Hoare logic for a concurrent while language

JOURNAL ARTICLE published June 1988 in Theoretical Computer Science

Authors: Colin Stirling

https://doi.org/10.1016/0304-3975(88)90033-3 Actions

A lambda-calculus for dynamic binding

JOURNAL ARTICLE published February 1998 in Theoretical Computer Science

Authors: Laurent Dami

https://doi.org/10.1016/s0304-3975(97)00150-3 Actions

Verified bytecode verifiers

JOURNAL ARTICLE published April 2003 in Theoretical Computer Science

Authors: Gerwin Klein | Tobias Nipkow

https://doi.org/10.1016/s0304-3975(02)00869-1 Actions

Church-Rosser theorem for a rewriting system on categorial combinators

JOURNAL ARTICLE published July 1989 in Theoretical Computer Science

Authors: Hirofumi Yokouchi

https://doi.org/10.1016/0304-3975(89)90104-7 Actions

Confluence results for the pure strong categorical logic CCL. λ-calculi as subsystems of CCL

JOURNAL ARTICLE published July 1989 in Theoretical Computer Science

Authors: Thérèse Hardin

https://doi.org/10.1016/0304-3975(89)90105-9 Actions

Maximal traces and path-based coalgebraic temporal logics

JOURNAL ARTICLE published September 2011 in Theoretical Computer Science

Authors: Corina Cîrstea

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

Continuation-based transformations for coordination languages

JOURNAL ARTICLE published June 2000 in Theoretical Computer Science

Authors: Suresh Jagannathan

https://doi.org/10.1016/s0304-3975(99)00229-7 Actions

On finding common subtrees

JOURNAL ARTICLE published February 1993 in Theoretical Computer Science

Authors: Roberto Grossi

https://doi.org/10.1016/0304-3975(93)90198-3 Actions

Typing correspondence assertions for communication protocols

JOURNAL ARTICLE published May 2003 in Theoretical Computer Science

Authors: Andrew D Gordon | Alan Jeffrey

https://doi.org/10.1016/s0304-3975(02)00333-x Actions

On an interpretation of safe recursion in light affine logic

JOURNAL ARTICLE published June 2004 in Theoretical Computer Science

Authors: A.S. Murawski | C.-H.L. Ong

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

Concerning the semantic consequence relation in first-order temporal logic

JOURNAL ARTICLE published 1986 in Theoretical Computer Science

Authors: Andrzej Szalas

https://doi.org/10.1016/0304-3975(86)90157-x Actions

Improved lower bounds on the number of multiplications/divisions which are necessary to evaluate polynomials

JOURNAL ARTICLE published December 1978 in Theoretical Computer Science

Authors: C.P. Schnorr

https://doi.org/10.1016/0304-3975(78)90016-6 Actions

On input read-modes of alternating Turing machines

JOURNAL ARTICLE published August 1995 in Theoretical Computer Science

Authors: Liming Cai | Jianer Chen

https://doi.org/10.1016/0304-3975(94)00253-f Actions

Theoretical aspects of computing

JOURNAL ARTICLE published October 2018 in Theoretical Computer Science

Authors: Augusto Sampaio | Farn Wang

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

Standard Sturmian words and automata minimization algorithms

JOURNAL ARTICLE published October 2015 in Theoretical Computer Science

Research funded by MIUR (PRIN 2010LYA9RH)

Authors: G. Castiglione | M. Sciortino

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

Repetitions in Sturmian strings

JOURNAL ARTICLE published October 2000 in Theoretical Computer Science

Authors: František Franěk | Ayşe Karaman | W.F. Smyth

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