×

Found 167 Documents (Results 1–100)

Substructural predicates. (English) Zbl 0858.03032

Hodges, Wilfrid (ed.) et al., Logic: from foundations to applications. European logic colloquium, Keele, UK, July 20–29, 1993. Oxford: Clarendon Press. 87-101 (1996).
MSC:  03B60
PDFBibTeX XMLCite

On \(k\)-permutability for categories of \(T\)-algebras. (English) Zbl 0863.08010

Ursini, Aldo (ed.) et al., Logic and algebra. Proceedings of the international conference dedicated to the memory of Roberto Magari, April 26–30, 1994, Pontignano, Italy. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 180, 637-646 (1996).
MSC:  08C05 18C15 18E10
PDFBibTeX XMLCite

Adjoints in and among bicategories. (English) Zbl 0862.18002

Ursini, Aldo (ed.) et al., Logic and algebra. Proceedings of the international conference dedicated to the memory of Roberto Magari, April 26–30, 1994, Pontignano, Italy. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 180, 181-189 (1996).
Reviewer: A.Kock (Aarhus)
MSC:  18A15 18D05 18A40 18B25 03G30 03F03
PDFBibTeX XMLCite

Locally finitely presented bifunctors. (English) Zbl 0863.16004

Bautista, Raymundo (ed.) et al., Representation theory of algebras. Seventh international conference, August 22-26, 1994, Cocoyoc, Mexico. Providence, RI: American Mathematical Society. CMS Conf. Proc. 18, 659-670 (1996).
PDFBibTeX XMLCite

\(D\text{Tr}\)-periodic modules and functors. (English) Zbl 0859.16008

Bautista, Raymundo (ed.) et al., Representation theory of algebras. Seventh international conference, August 22-26, 1994, Cocoyoc, Mexico. Providence, RI: American Mathematical Society. CMS Conf. Proc. 18, 39-50 (1996).
Reviewer: D.Simson (Toruń)
PDFBibTeX XMLCite

Cogroups and co-rings in categories of associative rings. (English) Zbl 0857.16001

Mathematical Surveys and Monographs. 45. Providence, RI: American Mathematical Society (AMS). ix, 388 p. (1996).
PDFBibTeX XMLCite

Natural operators lifting vector fields on manifolds to the bundles of covelocities. (English) Zbl 0854.58006

Bureš, J. (ed.) et al., Proceedings of the Winter School on geometry and physics, Srní, Czech Republic, January 1994. Palermo: Circolo Matematico di Palermo, Suppl. Rend. Circ. Mat. Palermo, II. Ser. 39, 105-116 (1996).
MSC:  58A20 53A55
PDFBibTeX XMLCite

Algebraic specifications with nondeterminism from the point of view of universal algebra. (Algebraische Spezifikationen mit Nichtdeterminismus aus der Sicht der universellen Algebra.) (German) Zbl 0865.08003

Berichte aus der Informatik. Aachen: Shaker Verlag. vii, 217 S. (Univ. München, 1995) (1996).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 3

Main Field

Software