|
|
libcats.org
CAAP 90 15 confAndre ArnoldThis volume contains the proceedings of the Fifteenth Colloquium on Trees in Algebra and Programming. The papers selected present new research results and cover the following topics: - Logical, algebraic and combinatorial properties of discrete structures (strings, trees, graphs, etc.), including the theory of formal languages considered as that of sets of discrete structures and the theory of rewriting systems over these objects. - Application of discrete structures in computer science, including syntax and semantics of programming languages, operational semantics, logic programming, algorithms and data structures, complexity of algorithms and implementation aspects, proof techniques for nonnumerical algorithms, formal specifications, and visualization of trees and graphs.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Debunked!: Conspiracy Theories, Urban Legends, and Evil Plots of the 21st CenturyАвтор: Richard Roeper
Размер книги: 1.05 Mb
Теплообменные аппараты, приборы автоматизации и испытания холодильных машинАвтор: Под ред. Быкова А.В.Категория: АППАРАТУРА, ТЕХНИКА
Размер книги: 19.52 Mb
Advances in the Flow and Rheology of Non-Newtonian Fluids, Volume 8 (Rheology Series)Автор: D.A. Siginer, Автор: D. De Kee, Автор: R.P. Chhabra
Размер книги: 70.55 Mb
|
|
|