Schmidt-Schauß, Manfred; Kutsia, Temur; Levy, Jordi; Villaret, Mateu; Kutz, Yunus Nominal unification and matching of higher order expressions with recursive let. (English) Zbl 1540.68114 Fundam. Inform. 185, No. 3, 247-283 (2022). MSC: 68Q42 03B40 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Jiménez González, Jesús Arturo Coxeter invariants for non-negative unit forms of Dynkin type \(\mathbb{A}_r\). (English) Zbl 1542.15030 Fundam. Inform. 185, No. 3, 221-246 (2022). MSC: 15A63 15A21 15B36 05C22 05C50 05C76 05B20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Cabrera Martínez, A.; García-Gómez, C.; Rodríguez-Velázquez, J. A. Perfect domination, Roman domination and perfect Roman domination in lexicographic product graphs. (English) Zbl 1540.05134 Fundam. Inform. 185, No. 3, 201-220 (2022). MSC: 05C69 05C76 × Cite Format Result Cite Review PDF Full Text: DOI arXiv