scientific article
From MaRDI portal
Publication:3931190
zbMath0476.00002MaRDI QIDQ3931190
No author found.
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings, conferences, collections, etc. pertaining to category theory (18-06) Proceedings, conferences, collections, etc. pertaining to ordered structures (06-06) Proceedings, conferences, collections, etc. pertaining to general algebraic systems (08-06) Conference proceedings and collections of articles (00Bxx)
Related Items
Normal forms for algebras of connections. ⋮ A functorial semantics for multi-algebras and partial algebras, with applications to syntax. ⋮ Comparing logics for rewriting: Rewriting logic, action calculi and tile logic