Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Robust scheduling for minimizing maximum lateness on a serial-batch processing machineWu, Wei ; Tang, Liang ; Pizzuti, AndreaInformation processing letters, 2024-08, Vol.186, p.106473, Article 106473 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Anti Tai mapping for unordered labeled treesBlažević, Mislav ; Canzar, Stefan ; Elbassioni, Khaled ; Matijević, DomagojInformation processing letters, 2024-03, Vol.185, p.106454, Article 106454 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Exploring the optimality of byte-wise permutations of a piccolo-type block cipherUtsumi, Shion ; Nakahashi, Motoki ; Sakamoto, Kosei ; Isobe, TakanoriInformation processing letters, 2024-02, Vol.184, p.106436, Article 106436 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
On the non-efficient PAC learnability of conjunctive queriesten Cate, Balder ; Funk, Maurice ; Jung, Jean Christoph ; Lutz, CarstenInformation processing letters, 2024-01, Vol.183, p.106431, Article 106431 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Recursion-free modular arithmetic in the lambda-calculusMackie, MaximilienInformation processing letters, 2024-01, Vol.183, p.106408, Article 106408 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Algorithmic results in Roman dominating functions on graphsPoureidi, Abolfazl ; Fathali, JafarInformation processing letters, 2023-08, Vol.182, p.106363, Article 106363 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Longest bordered and periodic subsequencesBannai, Hideo ; I, Tomohiro ; Köppl, DominikInformation processing letters, 2023-08, Vol.182, p.106398, Article 106398 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Weakest preconditioned goto axiomChen, WeiInformation processing letters, 2023-02, Vol.180, p.106329, Article 106329 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Static type checking without downcast operatorMooij, Arjan J.Information processing letters, 2022-11, Vol.178, p.106285, Article 106285 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Distributivity and residuation for lexicographic ordersGadducci, Fabio ; Santini, FrancescoInformation processing letters, 2022-08, Vol.177, p.106271, Article 106271 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |