Rewriting systems (Computer science) - Congresses.

Rewriting and Typed Lambda Calculi[electronic resource] :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: (Language materials, printed)

Rewriting techniques and applications[electronic resource] :10th international conference, RTA-99, Trento, Italy, July 1999 : proceedings / by: (Electronic resources)

Rewriting systems (Computer science)

Mathematical Logic and Formal Languages.

Computing Methodologies.

Mathematical Logic and Foundations.

Lambda calculus

Mathematics of Computing.

Logics and Meanings of Programs.

Computer logic

Computer Science.

Symbolic and Algebraic Manipulation.

Rewriting systems (Computer science)

Algorithms

Computer programming