×

Found 1,632 Documents (Results 1–100)

100
MathJax
Newest 1st
Cantuba, Rafael Reno; Silvestrov, Sergei

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).
MSC:  17B60 05A30 16S15 16S80 17B37 46L60
PDF BibTeX XML Cite
\textit{R. R. Cantuba} and \textit{S. Silvestrov}, Springer Proc. Math. Stat. 317, 593--601 (2020; Zbl 07392806)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Cantuba, Rafael Reno; Silvestrov, Sergei

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

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).
MSC:  16S80 16S15 05A30 17B60 81R50
PDF BibTeX XML Cite
\textit{R. R. Cantuba} and \textit{S. Silvestrov}, Springer Proc. Math. Stat. 317, 575--592 (2020; Zbl 07392805)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Hellström, Lars

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).
MSC:  17A30 17D30 16S15 68Q42
PDF BibTeX XML Cite
\textit{L. Hellström}, Springer Proc. Math. Stat. 317, 317--337 (2020; Zbl 1479.17005)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Alahmadi, Adel; Alsulami, Hamed; Zelmanov, Efim

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
\textit{A. Alahmadi} et al., Contemp. Math. 751, 1--4 (2020; Zbl 1487.16007)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Sestini, Filippo

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
\textit{F. Sestini}, LIPIcs -- Leibniz Int. Proc. Inform. 130, Article 6, 17 p. (2019; Zbl 07561491)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Ikebuchi, Mirai

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
\textit{M. Ikebuchi}, LIPIcs -- Leibniz Int. Proc. Inform. 131, Article 24, 17 p. (2019; Zbl 07559290)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Hirokawa, Nao; Nagele, Julian; van Oostrom, Vincent; Oyamaguchi, Michio

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
\textit{N. Hirokawa} et al., Lect. Notes Comput. Sci. 11716, 319--336 (2019; Zbl 07178984)
Full Text: DOI arXiv Link
  • logo of hbz
  • logo of WorldCat
Small, Lance; Zelmanov, Efim

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
\textit{L. Small} and \textit{E. Zelmanov}, Contemp. Math. 738, 135--138 (2019; Zbl 1430.16026)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Eeralla, Ajay K.; Erbatur, Serdar; Marshall, Andrew M.; Ringeissen, Christophe

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
\textit{A. K. Eeralla} et al., Lect. Notes Comput. Sci. 11417, 356--367 (2019; Zbl 1425.68161)
Full Text: DOI Link
  • logo of hbz
  • logo of WorldCat
Atkarskaya, Agatha; Kanel-Belov, A.; Plotkin, Evgeny; Rips, Eliyahu

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
\textit{A. Atkarskaya} et al., Contemp. Math. 726, 1--76 (2019; Zbl 1466.20031)
Full Text: DOI arXiv
  • logo of hbz
  • logo of WorldCat
Nishida, Naoki; Vidal, Germán

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
\textit{N. Nishida} and \textit{G. Vidal}, Lect. Notes Comput. Sci. 11497, 67--83 (2019; Zbl 07118469)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Kohl, Christina; Middeldorp, Aart

ProTeM: a proof term manipulator (system description). (English) Zbl 1462.68218

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 31, 8 p. (2018).
MSC:  68V15 68Q42
PDF BibTeX XML Cite
\textit{C. Kohl} and \textit{A. Middeldorp}, LIPIcs -- Leibniz Int. Proc. Inform. 108, Article 31, 8 p. (2018; Zbl 1462.68218)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Nishida, Naoki; Maeda, Yuya

Narrowing trees for syntactically deterministic conditional term rewriting systems. (English) Zbl 1462.68097

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 26, 20 p. (2018).
MSC:  68Q42
PDF BibTeX XML Cite
\textit{N. Nishida} and \textit{Y. Maeda}, LIPIcs -- Leibniz Int. Proc. Inform. 108, Article 26, 20 p. (2018; Zbl 1462.68097)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Genet, Thomas

Completeness of tree automata completion. (English) Zbl 1462.68096

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 16, 20 p. (2018).
MSC:  68Q42 68N18 68Q45
PDF BibTeX XML Cite
\textit{T. Genet}, LIPIcs -- Leibniz Int. Proc. Inform. 108, Article 16, 20 p. (2018; Zbl 1462.68096)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Czajka, Lukasz

Term rewriting characterisation of LOGSPACE for finite and infinite data. (English) Zbl 1462.68093

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 13, 19 p. (2018).
MSC:  68Q42 68Q15
PDF BibTeX XML Cite
\textit{L. Czajka}, LIPIcs -- Leibniz Int. Proc. Inform. 108, Article 13, 19 p. (2018; Zbl 1462.68093)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi; Villaret, Mateu

Term-graph anti-unification. (English) Zbl 1462.68091

Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 9, 17 p. (2018).
MSC:  68Q42 68R10
PDF BibTeX XML Cite
\textit{A. Baumgartner} et al., LIPIcs -- Leibniz Int. Proc. Inform. 108, Article 9, 17 p. (2018; Zbl 1462.68091)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat

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