Rewriting systems (Computer science)

Processes, Terms and Cycles: Steps on the Road to Infinity : = Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday by: (書目-語言資料,印刷品)

Term Rewriting and Applications = 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings / by: (書目-語言資料,印刷品)

Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / by: (書目-語言資料,印刷品)

Rewriting techniques and applications = 14th international conference, RTA 2003, Valencia, Spain, June 2003 : proceedings / by: (書目-語言資料,印刷品)

Applications of graph transformations with industrial relevance = second international workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27-October 1, 2003 : revised selected and invited papers / by: (書目-語言資料,印刷品)

Rewriting techniques and applications = 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004, proceedings / by: (書目-語言資料,印刷品)

Symbolic and Algebraic Manipulation.

Lambda calculus.

Software engineering.

Computer programming.

Computer programming

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.

Mathematical Logic and Foundations.

Computer science

Artificial Intelligence (incl. Robotics)

Rewriting systems (Computer science)

Machine theory.

Programming Languages, Compilers, Interpreters.

Software Engineering.

Algorithm Analysis and Problem Complexity.

Multitasking (Computer science)

Computer Science.

Computer simulation.

Algorithms

Computer software