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

Polynomial time multiplication and normal forms in free bands

JOURNAL ARTICLE published April 2023 in Theoretical Computer Science

Research funded by Engineering and Physical Sciences Research Council (EP/V520123/1)

Authors: R. Cirpons | J.D. Mitchell

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

A new lattice-based online/offline signatures framework for low-power devices

JOURNAL ARTICLE published June 2023 in Theoretical Computer Science

Research funded by National Natural Science Foundation of China (61902361,62071280,62072276,62172258)

Authors: Pingyuan Zhang | Haining Yang | Liang Zhu | Yanhua Zhang | Hao Wang | Qiuliang Xu

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

A relaxed condition for avoiding the occur-check

JOURNAL ARTICLE published October 2023 in Theoretical Computer Science

Authors: Włodzimierz Drabent

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

On the complexity of computation maximal exponent of periodicity of word equations and expressible relations (note)

JOURNAL ARTICLE published November 2019 in Theoretical Computer Science

Research funded by Narodowe Centrum Nauki (2014/13/B/ST6/00770)

Authors: Wojciech Plandowski | Aleksy Schubert

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

A note about words which coincide except in one position

JOURNAL ARTICLE published October 2019 in Theoretical Computer Science

Authors: Margot Bruneaux

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

Preface: Special Issue on the Annual International Conference on Combinatorial Optimization and Applications (COCOA)

JOURNAL ARTICLE published October 2019 in Theoretical Computer Science

Authors: Xiaofeng Gao | Dongdong Ge

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

Computational complexity aspects of super domination

JOURNAL ARTICLE published October 2023 in Theoretical Computer Science

Authors: Csilla Bujtás | Nima Ghanbari | Sandi Klavžar

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

Some combinatorial properties of the Thue–Morse sequence and a problem in semigroups

JOURNAL ARTICLE published March 1989 in Theoretical Computer Science

Authors: Aldo de Luca | Stefano Varricchio

https://doi.org/10.1016/0304-3975(89)90013-3 Actions

Alternating finite automata on ω-words

JOURNAL ARTICLE published 1984 in Theoretical Computer Science

Authors: Satoru Miyano | Takeshi Hayashi

https://doi.org/10.1016/0304-3975(84)90049-5 Actions

Efficient decision procedure for propositional projection temporal logic

JOURNAL ARTICLE published October 2020 in Theoretical Computer Science

Research funded by Key Research and Development Projects of Shaanxi Province (2020GY-210) | NSFC (61672403,61972301,61572386)

Authors: Xinfeng Shu | Nan Zhang | Xiaobing Wang | Liang Zhao

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

A canonical form based decision procedure and model checking approach for propositional projection temporal logic

JOURNAL ARTICLE published January 2016 in Theoretical Computer Science

Research funded by National Natural Science Foundation of China (61133001,61322202,61420106004,61272117,91418201)

Authors: Zhenhua Duan | Cong Tian | Nan Zhang

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

On total regulators generated by derivation relations

JOURNAL ARTICLE published 1985 in Theoretical Computer Science

Authors: W. Bucher | A. Ehrenfeucht | D. Haussler

https://doi.org/10.1016/0304-3975(85)90162-8 Actions

Dynamic programming with convexity, concavity and sparsity

JOURNAL ARTICLE published January 1992 in Theoretical Computer Science

Authors: Zvi Galil | Kunsoo Park

https://doi.org/10.1016/0304-3975(92)90135-3 Actions

Coloured petri nets and the invariant-method

JOURNAL ARTICLE published 1981 in Theoretical Computer Science

Authors: Kurt Jensen

https://doi.org/10.1016/0304-3975(81)90049-9 Actions

Quantales, finite observations and strong bisimulation

JOURNAL ARTICLE published March 2001 in Theoretical Computer Science

Authors: Pedro Resende

https://doi.org/10.1016/s0304-3975(99)00123-1 Actions

Equitable colorings of planar graphs without short cycles

JOURNAL ARTICLE published December 2012 in Theoretical Computer Science

Authors: Keaitsuda Nakprasit | Kittikorn Nakprasit

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

Subtractive logic

JOURNAL ARTICLE published March 2001 in Theoretical Computer Science

Authors: Tristan Crolard

https://doi.org/10.1016/s0304-3975(99)00124-3 Actions

The black paper of quantum cryptography: Real implementation problems

JOURNAL ARTICLE published December 2014 in Theoretical Computer Science

Authors: Valerio Scarani | Christian Kurtsiefer

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

Preface

JOURNAL ARTICLE published August 2009 in Theoretical Computer Science

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

Foreword

JOURNAL ARTICLE published August 1998 in Theoretical Computer Science

Authors: Giorgio Ausiello | Alberto Marchetti-Spaccamela

https://doi.org/10.1016/s0304-3975(98)80010-8 Actions
Feedback: support@crossref.org