scientific article; zbMATH DE number 5298331
Proceedings of conferences of miscellaneous specific interest (00B25) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Proceedings, conferences, collections, etc. pertaining to ordinary differential equations (34-06) Proceedings, conferences, collections, etc. pertaining to partial differential equations (35-06) Proceedings, conferences, collections, etc. pertaining to dynamical systems and ergodic theory (37-06) Symbolic computation and algebraic computation (68W30) Proceedings, conferences, collections, etc. pertaining to systems and control theory (93-06)
- Toward an algebraic theory of systems
- scientific article; zbMATH DE number 1531926
- On the construction of free algebras for equational systems
- Constructive universal algebra: An introduction
- scientific article; zbMATH DE number 3285193
- On constructive connectives and systems
- Equational Systems and Free Constructions (Extended Abstract)
- scientific article; zbMATH DE number 2182597
- scientific article; zbMATH DE number 3862421
- Formal systems of constructive mathematics
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3511031)