×

Found 229 Documents (Results 1–100)

Congruence lattices of ideals in categories and (partial) semigroups. (English) Zbl 1515.20009

Memoirs of the American Mathematical Society 1408. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-6269-7/pbk; 978-1-4704-7446-1/ebook). vii, 129 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Geometric modeling: consistency preservation using two-layered variable substitutions. (English) Zbl 1425.68423

de Lara, Juan (ed.) et al., Graph transformation. 10th international conference, ICGT 2017, held as part of STAF 2017, Marburg, Germany, July 18–19, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10373, 36-53 (2017).
PDFBibTeX XMLCite
Full Text: DOI

Category theoretic semantics for theorem proving in logic programming: embracing the laxness. (English) Zbl 1475.68055

Hasuo, Ichiro (ed.), Coalgebraic methods in computer science. 13th IFIP WG 1.3 international workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9608, 94-113 (2016).
MSC:  68N17 18C50
PDFBibTeX XMLCite
Full Text: DOI arXiv

Kolmogorov complexity of categories. (English) Zbl 1264.68090

Coecke, Bob (ed.) et al., Computation, logic, games, and quantum foundations. The many facets of Samson Abramsky. Essays dedicated to Samson Abramsky on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-38163-8/pbk). Lecture Notes in Computer Science 7860, 350-362 (2013).
MSC:  68Q30 03D75 18A15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Idempotent functors and localizations in categories of modules and Abelian groups. (English. Russian original) Zbl 1264.16005

J. Math. Sci., New York 183, No. 3, 323-382 (2012); translation from Fundam. Prikl. Mat. 16, No. 7, 75-159 (2010).
PDFBibTeX XMLCite
Full Text: DOI

Coalgebraic semantics for derivations in logic programming. (English) Zbl 1344.68043

Corradini, Andrea (ed.) et al., Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22943-5/pbk). Lecture Notes in Computer Science 6859, 268-282 (2011).
PDFBibTeX XMLCite
Full Text: DOI Link

Comonadic notions of computation. (English) Zbl 1279.68088

Adámek, J. (ed.) et al., Proceedings of the ninth workshop on coalgebraic methods in computer science (CMCS 2008), Budapest, Hungary, April 4–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 5, 263-284 (2008).
MSC:  68Q05 03B40 18C20
PDFBibTeX XMLCite
Full Text: DOI

Spectral analysis of finite dimensional algebras and singularities. (English) Zbl 1210.16013

Skowroński, Andrzej (ed.), Trends in representation theory of algebras and related topics. Proceedings of the 12th international conference on representations of algebras and workshop (ICRA XII), Toruń, Poland, August 15–24, 2007. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-062-3/hbk). EMS Series of Congress Reports, 541-588 (2008).
MSC:  16G10 16G70 14H60 16G60 18E30
PDFBibTeX XMLCite
Full Text: arXiv

Algebraic \(L\)-theory and topological manifolds. Paperback reprint of the hardback edition 1992. (English) Zbl 1143.57001

Cambridge Tracts in Mathematics 102. Cambridge: Cambridge University Press (ISBN 978-0-521-05521-5/pbk). ix, 358 p. (2008).
PDFBibTeX XMLCite

On non-semisimple fusion rules and tensor categories. (English) Zbl 1152.17015

Huang, Yi-Zhi (ed.) et al., Lie algebras, vertex operator algebras and their applications. International conference in honor of James Lepowsky and Robert Wilson on their sixtieth birthdays, Raleigh, NC, USA, May 17–21, 2005. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-3986-7/pbk). Contemporary Mathematics 442, 315-337 (2007).
MSC:  17B69 81T40 18D10 19A99
PDFBibTeX XMLCite
Full Text: arXiv

Gröbner bases in algebraic analysis: new perspectives for applications. (English) Zbl 1260.35005

Rosenkranz, Markus (ed.) et al., Gröbner bases in symbolic analysis. Based on talks delivered at the special semester on Gröbner bases and related methods, Linz, Austria, May 2006. Berlin: Walter de Gruyter (ISBN 978-3-11-019323-7/hbk). Radon Series on Computational and Applied Mathematics 2, 1-21 (2007).
PDFBibTeX XMLCite

Syntactic methods in finite semigroup theory. (English) Zbl 0965.20033

Kublanovsky, S. (ed.) et al., Semigroups with applications, including semigroup rings. International conference in honour of E. S. Lyapin, St.-Petersburg, Russia, June 19-30, 1995. St.-Petersburg: Severny Ochag, 1-21 (1999).
PDFBibTeX XMLCite

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software