Facet browsing currently unavailable
Page 10 of 16663 results
Sort by: relevance publication year
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) |
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) |
A relaxed condition for avoiding the occur-check JOURNAL ARTICLE published October 2023 in Theoretical Computer Science |
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) |
A note about words which coincide except in one position JOURNAL ARTICLE published October 2019 in Theoretical Computer Science |
Preface: Special Issue on the Annual International Conference on Combinatorial Optimization and Applications (COCOA) JOURNAL ARTICLE published October 2019 in Theoretical Computer Science |
Computational complexity aspects of super domination JOURNAL ARTICLE published October 2023 in Theoretical Computer Science |
Some combinatorial properties of the Thue–Morse sequence and a problem in semigroups JOURNAL ARTICLE published March 1989 in Theoretical Computer Science |
Alternating finite automata on ω-words JOURNAL ARTICLE published 1984 in Theoretical Computer Science |
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) |
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) |
On total regulators generated by derivation relations JOURNAL ARTICLE published 1985 in Theoretical Computer Science |
Dynamic programming with convexity, concavity and sparsity JOURNAL ARTICLE published January 1992 in Theoretical Computer Science |
Coloured petri nets and the invariant-method JOURNAL ARTICLE published 1981 in Theoretical Computer Science |
Quantales, finite observations and strong bisimulation JOURNAL ARTICLE published March 2001 in Theoretical Computer Science |
Equitable colorings of planar graphs without short cycles JOURNAL ARTICLE published December 2012 in Theoretical Computer Science |
Subtractive logic JOURNAL ARTICLE published March 2001 in Theoretical Computer Science |
The black paper of quantum cryptography: Real implementation problems JOURNAL ARTICLE published December 2014 in Theoretical Computer Science |
Preface JOURNAL ARTICLE published August 2009 in Theoretical Computer Science |
Foreword JOURNAL ARTICLE published August 1998 in Theoretical Computer Science |