Languages
Barkatou, Moulay.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Algebraic and algorithmic aspects of differential and integral operators = 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012 : selected and invited papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Barkatou, Moulay.
(Language materials, printed)
Subjects
Computer software.
Algebra
Discrete Mathematics in Computer Science.
Algorithm Analysis and Problem Complexity.
Computational complexity.
Symbolic and Algebraic Manipulation.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer science.
Differential equations, Partial.
Logic design.