Forest, Simon; Mimram, Samuel Rewriting in Gray categories with applications to coherence. (English) Zbl 1517.68162 Math. Struct. Comput. Sci. 32, No. 5, 574-647 (2022). MSC: 68Q42 18N30 PDFBibTeX XMLCite \textit{S. Forest} and \textit{S. Mimram}, Math. Struct. Comput. Sci. 32, No. 5, 574--647 (2022; Zbl 1517.68162) Full Text: DOI arXiv
Arnould, Agnès; Belhaouari, Hakim; Bellet, Thomas; Le Gall, Pascale; Pascual, Romain Preserving consistency in geometric modeling with graph transformations. (English) Zbl 1517.68152 Math. Struct. Comput. Sci. 32, No. 3, 300-347 (2022). MSC: 68Q42 68U05 PDFBibTeX XMLCite \textit{A. Arnould} et al., Math. Struct. Comput. Sci. 32, No. 3, 300--347 (2022; Zbl 1517.68152) Full Text: DOI
Giraudo, Samuele The combinator \(\mathbf{M}\) and the Mockingbird lattice. (English) Zbl 07636993 Math. Struct. Comput. Sci. 32, No. 3, 271-299 (2022). MSC: 03B40 06A07 PDFBibTeX XMLCite \textit{S. Giraudo}, Math. Struct. Comput. Sci. 32, No. 3, 271--299 (2022; Zbl 07636993) Full Text: DOI arXiv
Szabo, Peter; Siekmann, Jörg E-unification based on generalized embedding. (English) Zbl 1489.68117 Math. Struct. Comput. Sci. 31, No. 8, 898-917 (2021). MSC: 68Q42 08A70 PDFBibTeX XMLCite \textit{P. Szabo} and \textit{J. Siekmann}, Math. Struct. Comput. Sci. 31, No. 8, 898--917 (2021; Zbl 1489.68117) Full Text: DOI
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey SMT-based verification of data-aware processes: a model-theoretic approach. (English) Zbl 1495.68129 Math. Struct. Comput. Sci. 30, No. 3, 271-313 (2020). MSC: 68Q60 03B70 03C98 68P15 PDFBibTeX XMLCite \textit{D. Calvanese} et al., Math. Struct. Comput. Sci. 30, No. 3, 271--313 (2020; Zbl 1495.68129) Full Text: DOI
Erbatur, Serdar; Marshall, Andrew M.; Ringeissen, Christophe Computing knowledge in equational extensions of subterm convergent theories. (English) Zbl 1495.68113 Math. Struct. Comput. Sci. 30, No. 6, 683-709 (2020). MSC: 68Q42 68M25 68V15 PDFBibTeX XMLCite \textit{S. Erbatur} et al., Math. Struct. Comput. Sci. 30, No. 6, 683--709 (2020; Zbl 1495.68113) Full Text: DOI
Eeralla, Ajay Kumar; Lynch, Christopher Bounded ACh unification. (English) Zbl 1495.68111 Math. Struct. Comput. Sci. 30, No. 6, 664-682 (2020). MSC: 68Q42 03B35 68V15 94A60 PDFBibTeX XMLCite \textit{A. K. Eeralla} and \textit{C. Lynch}, Math. Struct. Comput. Sci. 30, No. 6, 664--682 (2020; Zbl 1495.68111) Full Text: DOI arXiv
Baader, Franz; Marantidis, Pavlos; Mottet, Antoine; Okhotin, Alexander Extensions of unification modulo ACUI. (English) Zbl 1495.68237 Math. Struct. Comput. Sci. 30, No. 6, 597-626 (2020). MSC: 68V15 03B35 68Q25 68Q42 PDFBibTeX XMLCite \textit{F. Baader} et al., Math. Struct. Comput. Sci. 30, No. 6, 597--626 (2020; Zbl 1495.68237) Full Text: DOI
Mordido, Andreia; Caleiro, Carlos Probabilistic logic over equations and domain restrictions. (English) Zbl 1456.03045 Math. Struct. Comput. Sci. 29, No. 6, 872-895 (2019). MSC: 03B48 08B05 68P30 68Q25 PDFBibTeX XMLCite \textit{A. Mordido} and \textit{C. Caleiro}, Math. Struct. Comput. Sci. 29, No. 6, 872--895 (2019; Zbl 1456.03045) Full Text: DOI
Hamana, Makoto; Matsuda, Kazutaka; Asada, Kazuyuki The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics. (English) Zbl 1387.68063 Math. Struct. Comput. Sci. 28, No. 2, 287-337 (2018). MSC: 68N18 18C50 68Q42 68Q55 PDFBibTeX XMLCite \textit{M. Hamana} et al., Math. Struct. Comput. Sci. 28, No. 2, 287--337 (2018; Zbl 1387.68063) Full Text: DOI arXiv
Guiraud, Yves; Malbos, Philippe Polygraphs of finite derivation type. (English) Zbl 1396.18004 Math. Struct. Comput. Sci. 28, No. 2, 155-201 (2018). Reviewer: Peeter Normak (Tallinn) MSC: 18B40 20M05 16S15 68Q42 20F10 PDFBibTeX XMLCite \textit{Y. Guiraud} and \textit{P. Malbos}, Math. Struct. Comput. Sci. 28, No. 2, 155--201 (2018; Zbl 1396.18004) Full Text: DOI arXiv
Oury, Nicolas; Plotkin, Gordon Multi-level modelling via stochastic multi-level multiset rewriting. (English) Zbl 1318.92015 Math. Struct. Comput. Sci. 23, No. 2, 471-503 (2013). MSC: 92C42 68Q42 PDFBibTeX XMLCite \textit{N. Oury} and \textit{G. Plotkin}, Math. Struct. Comput. Sci. 23, No. 2, 471--503 (2013; Zbl 1318.92015) Full Text: DOI
Dehornoy, Patrick; van Oostrom, Vincent Using groups for investigating rewrite systems. (English) Zbl 1157.03015 Math. Struct. Comput. Sci. 18, No. 6, 1133-1167 (2008). MSC: 03D03 03D40 20M05 68Q42 PDFBibTeX XMLCite \textit{P. Dehornoy} and \textit{V. van Oostrom}, Math. Struct. Comput. Sci. 18, No. 6, 1133--1167 (2008; Zbl 1157.03015) Full Text: DOI
Chemouil, David An insertion operator preserving infinite reduction sequences. (English) Zbl 1153.68025 Math. Struct. Comput. Sci. 18, No. 4, 693-728 (2008). MSC: 68Q42 03B40 68N18 PDFBibTeX XMLCite \textit{D. Chemouil}, Math. Struct. Comput. Sci. 18, No. 4, 693--728 (2008; Zbl 1153.68025) Full Text: DOI