Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

History of Europe --- Christian church history --- anno 500-799 --- anno 400-499 --- anno 800-899 --- Middle Ages --- History --- Europe --- Church history --- 27 "04/08" --- -Dark Ages --- History, Medieval --- Medieval history --- Medieval period --- World history, Medieval --- World history --- Civilization, Medieval --- Medievalism --- Renaissance --- Kerkgeschiedenis--?"04/08" --- Council of Europe countries --- Eastern Hemisphere --- Eurasia --- -Church history --- -27 "04/08" --- -Kerkgeschiedenis--?"04/08" --- -History of Europe --- -Middle Ages. --- Moyen Age --- Histoire --- Histoire religieuse --- Middle Ages. --- -Middle Ages --- Dark Ages --- Middle Ages, 600-1500 --- 4th century --- 5th century --- 6th century --- Middle Ages, 500-1500

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This 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.

Computational complexity --- -Trees (Graph theory) --- -Data structures (Computer science) --- -681.3*D1 --- 681.3*E1 --- 681.3*F --- Graph theory --- Complexity, Computational --- Electronic data processing --- Machine theory --- Congresses --- Data processing --- -Congresses --- Programming techniques--See also {681.3*E} --- Data structures: arrays; graphs; lists; tables; trees --- Theory of computation --- 681.3*F Theory of computation --- 681.3*E1 Data structures: arrays; graphs; lists; tables; trees --- 681.3*D1 Programming techniques--See also {681.3*E} --- Data structures (Computer science) --- Trees (Graph theory) --- 681.3*D1 --- Data processing&delete& --- Algebra. --- Software engineering. --- Computer science. --- Software Engineering/Programming and Operating Systems. --- Mathematics of Computing. --- Computation by Abstract Devices. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Informatics --- Science --- Computer software engineering --- Engineering --- Mathematics --- Mathematical analysis

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Criticism. --- Literature --- Criticism --- Evaluation of literature --- Literary criticism --- Rhetoric --- Aesthetics --- Appraisal of books --- Books --- Literary style --- History and criticism --- Technique --- Evaluation --- Appraisal

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)