×

Found 1,644 Documents (Results 1–100)

100
MathJax

On transforming cut- and quantifier-free cyclic proofs into rewriting-induction proofs. (English) Zbl 07570125

Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 262-281 (2022).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI

Term rewriting on GPUs. (English) Zbl 1496.68168

Hojjat, Hossein (ed.) et al., Fundamentals of software engineering. 9th international conference, FSEN 2021, virtual event, May 19–21, 2021. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12818, 175-189 (2021).
MSC:  68Q42 68W10
PDF BibTeX XML Cite
Full Text: DOI arXiv

Lie polynomial characterization problems. (English) Zbl 07392806

Silvestrov, Sergei (ed.) et al., Algebraic structures and applications. Selected papers based on the presentations at the international conference on stochastic processes and algebraic structures – from theory towards applications, SPAS 2017, Västerås and Stockholm, Sweden, October 4–6, 2017. Cham: Springer. Springer Proc. Math. Stat. 317, 593-601 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Torsion-type \(q\)-deformed Heisenberg algebra and its Lie polynomials. (English) Zbl 1493.16026

Silvestrov, Sergei (ed.) et al., Algebraic structures and applications. Selected papers based on the presentations at the international conference on stochastic processes and algebraic structures – from theory towards applications, SPAS 2017, Västerås and Stockholm, Sweden, October 4–6, 2017. Cham: Springer. Springer Proc. Math. Stat. 317, 575-592 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Strong Hom-associativity. (English) Zbl 1479.17005

Silvestrov, Sergei (ed.) et al., Algebraic structures and applications. Selected papers based on the presentations at the international conference on stochastic processes and algebraic structures – from theory towards applications, SPAS 2017, Västerås and Stockholm, Sweden, October 4–6, 2017. Cham: Springer. Springer Proc. Math. Stat. 317, 317-337 (2020).
PDF BibTeX XML Cite
Full Text: DOI

On the Morita equivalence class of a finitely presented algebra. (English) Zbl 1487.16007

Srivastava, Ashish K. (ed.) et al., Categorical, homological and combinatorial methods in algebra. AMS special session in honor of S. K. Jain’s 80th birthday, Ohio State University, Columbus, Ohio, March 16–18, 2018. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 751, 1-4 (2020).
MSC:  16D90 16S15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Normalization by evaluation for typed weak \(\lambda\)-reduction. (English) Zbl 07561491

Dybjer, Peter (ed.) et al., 24th international conference on types for proofs and programs, TYPES 2018, Braga, Portugal, June 18–21, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 130, Article 6, 17 p. (2019).
MSC:  03B70 68N30
PDF BibTeX XML Cite
Full Text: DOI

A lower bound of the number of rewrite rules obtained by homological methods. (English) Zbl 07559290

Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 24, 17 p. (2019).
MSC:  03B70 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Confluence by critical pair analysis revisited. (English) Zbl 07178984

Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11716, 319-336 (2019).
MSC:  03B35 68V15
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Algebra of generic matrices is not coherent. (English) Zbl 1430.16026

Dani, Shrikrishna G. (ed.) et al., Contributions in algebra and algebraic geometry. International conference on algebra, discrete mathematics and applications, Dr. Babasaheb Ambedkar Marathwada University, Aurangabad, Maharashtra, India, December 9–11, 2017. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 738, 135-138 (2019).
MSC:  16S15 16R10 16S50
PDF BibTeX XML Cite
Full Text: DOI

Rule-based unification in combined theories and the finite variant property. (English) Zbl 1425.68161

Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 356-367 (2019).
MSC:  68Q42 03B70
PDF BibTeX XML Cite
Full Text: DOI Link

Construction of a quotient ring of \(\mathbb{Z}_2\mathcal{F}\) in which a binomial \(1+w\) is invertible using small cancellation methods. (English) Zbl 1466.20031

Plotkin, Eugene (ed.), Groups, algebras and identities. Research workshop of the Israel Science Foundation ‘Groups, algebras and identities’. In honor of Boris Plotkin’s 90th birthday, Bar-Ilan University and The Hebrew University of Jerusalem, Israel, March 20–24, 2016. Providence, RI: American Mathematical Society (AMS); Ramat Gan: Bar-Ilan University. Contemp. Math. 726, 1-76 (2019).
MSC:  20F67 16S15 20F05
PDF BibTeX XML Cite
Full Text: DOI arXiv

Characterizing compatible view updates in syntactic bidirectionalization. (English) Zbl 07118469

Thomsen, Michael Kirkedal (ed.) et al., Reversible computation. 11th international conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11497, 67-83 (2019).
MSC:  68Q05 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software