Rewriting systems (Computer science)

Functional programming and parallel graph rewriting / by: (Language materials, printed)

Processes, Terms and Cycles: Steps on the Road to Infinity : = Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday by: (Language materials, printed)

Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / by: (Language materials, printed)

Substitutions in dynamics, arithmetics, and combinatorics by: (Language materials, printed)

Graph transformations and model-driven engineering = essays dedicated to manfred nagl on the occasion of his 65th Birthday / by: (Language materials, printed)

Rewriting and Typed Lambda Calculi = joint international conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / by: (Electronic resources)

Applications of graph transformations with industrial relevance = 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011 : revised selected and invited papers / by: (Electronic resources)

Graph theory.

Rewriting systems (Computer science)

Mathematical Logic and Formal Languages.

Mathematical Logic and Foundations.

Software Engineering.

Nagl, Manfred,

Software engineering

Computing Methodologies.

Machine theory.

Logics and Meanings of Programs.

Computational complexity.

Lambda calculus

Mathematics of Computing.

Artificial Intelligence (incl. Robotics)

Computer simulation.

Multitasking (Computer science)

Algorithm Analysis and Problem Complexity.

Programming Techniques.

Data Structures.

Computer software- Verification.

Software engineering.

Computer software- Development.

Graph grammars.

Programming Languages, Compilers, Interpreters.

Computer logic

Functional programming (Computer science)

Lambda calculus.

Computer science

Parallel processing (Electronic computers)

Computer Science.

Combinatorial analysis.

Computer Communication Networks.

Discrete Mathematics in Computer Science.

Computer programming.

Symbolic and Algebraic Manipulation.