Add to ORKGExtrait de : Proceedings Logical Foundations of Computer Science Symposium, Tver (Russia), July 1992, Springer Verlag, pages 314-325SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11846 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
SIGLEAvailable from British Library Document Supply Centre-DSC:DX207662 / BLDSC - British Library Do...
These notes deal with an interconnecting web of mathematical techniques all of which deserve a place...
Dans : Festschrift for A. Robinson, MIT Press, 1990 (a paraitre)SIGLEAvailable at INIST (FR), Docume...
Available at INIST (FR), Document Supply Service, under shelf-number : RP 10522 / INIST-CNRS - Insti...
Fleischer J, Grabmeier J, Hehl FW, Kuechlin W, eds. Computer algebra in science and engineering. Pro...
Publie dans : Proceedings international conference on algebraic methodology and software technology,...
SIGLETIB: RN 4237 (169) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbi...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11843 / INIST-CNRS - ...
Kracht M. Partial Algebras, Meaning Categories and Algebraization. Theoretical Computer Science. 200...
Abstract: Brief retrospective review and main references concerned Computer Algebra (CA) r...
We introduce operators and laws of an algebra of formal languages, a subalgebra of which corresponds...
The purpose of the article is to analyze the known methods of ordering in computer science. The res...
Summary. Ordered algebraic structures are encountered in many areas of math-ematics. One frequently ...
AbstractThis paper presents the prototype design of an algebraic computation system that manipulates...
Programme 2Available at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a...
SIGLEAvailable from British Library Document Supply Centre-DSC:DX207662 / BLDSC - British Library Do...
These notes deal with an interconnecting web of mathematical techniques all of which deserve a place...
Dans : Festschrift for A. Robinson, MIT Press, 1990 (a paraitre)SIGLEAvailable at INIST (FR), Docume...
Available at INIST (FR), Document Supply Service, under shelf-number : RP 10522 / INIST-CNRS - Insti...
Fleischer J, Grabmeier J, Hehl FW, Kuechlin W, eds. Computer algebra in science and engineering. Pro...
Publie dans : Proceedings international conference on algebraic methodology and software technology,...
SIGLETIB: RN 4237 (169) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbi...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : RP 11843 / INIST-CNRS - ...
Kracht M. Partial Algebras, Meaning Categories and Algebraization. Theoretical Computer Science. 200...
Abstract: Brief retrospective review and main references concerned Computer Algebra (CA) r...
We introduce operators and laws of an algebra of formal languages, a subalgebra of which corresponds...
The purpose of the article is to analyze the known methods of ordering in computer science. The res...
Summary. Ordered algebraic structures are encountered in many areas of math-ematics. One frequently ...
AbstractThis paper presents the prototype design of an algebraic computation system that manipulates...
Programme 2Available at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a...
SIGLEAvailable from British Library Document Supply Centre-DSC:DX207662 / BLDSC - British Library Do...
These notes deal with an interconnecting web of mathematical techniques all of which deserve a place...
Dans : Festschrift for A. Robinson, MIT Press, 1990 (a paraitre)SIGLEAvailable at INIST (FR), Docume...