×

Found 58 Documents (Results 1–58)

Functorial semantic of theories for classes of partial algebras. (English) Zbl 0987.18009

Chajda, I. (ed.) et al., Contributions to general algebra 13. Proceedings of the 60th workshop on general algebra “60. Arbeitstagung Allgemeine Algebra”, Dresden, Germany, June 22-25, 2000 and of the summer school ’99 on general algebra and ordered sets, Velké Karlovice, Czech Republic, August 30-September 4, 1999. Klagenfurt: Verlag Johannes Heyn. Contrib. Gen. Algebra. 13, 345-359 (2001).
MSC:  18D10 08A55 18D25 18C10
PDFBibTeX XMLCite

Mapping tile logic into rewriting logic. (English) Zbl 0903.08010

Parisi Presicce, Francesco (ed.), Recent trends in algebraic development techniques. 12th international workshop, WADT ’97, Tarquinia, Italy, June 3–7, 1997. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1376, 62-91 (1998).
MSC:  08A70 68Q65 18C10 68Q10 68Q55 18D05 18D10
PDFBibTeX XMLCite

Action structures and the pi-calculus. (English) Zbl 0872.08003

Schwichtenberg, Helmut (ed.), Proof and computation. Proceedings of the NATO ASI summer school held in Marktoberdorf, Germany, July 20-August 1, 1993. Berlin: Springer-Verlag. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 139, 317-377 (1995).
MSC:  08A70 68Q10 18D10
PDFBibTeX XMLCite

On certain classes of categories and monoids constructed from abstract Mal’cev clones. IV. (English) Zbl 0819.18003

Denecke, K. (ed.) et al., General algebra and discrete mathematics. Proceedings of the 4th conference on discrete mathematics, Potsdam, Germany, 1993. Lemgo: Heldermann Verlag. Res. Expo. Math. 21, 137-167 (1995).
MSC:  18D10 08A40 18C10 19D23 08A55
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software