Languages
Middeldorp, Aart.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Rewriting techniques and applications12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings /
by:
(1998 :); Middeldorp, Aart.; SpringerLink (Online service)
(Electronic resources)
Functional and logic programming4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings /
by:
(1998 :); Middeldorp, Aart.; Sato, Taisuke.; SpringerLink (Online service)
(Electronic resources)
Automated deduction - CADE-2525th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings /
by:
(1998 :); Felty, Amy P.; Middeldorp, Aart.; SpringerLink (Online service)
(Electronic resources)
Processes, Terms and Cycles: Steps on the Road to Infinity :Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
by:
Middeldorp, Aart.; SpringerLink (Online service)
(Electronic resources)
Subjects
Rewriting systems (Computer science)
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Image Processing and Computer Vision.
Machine theory.
Logics and Meanings of Programs.
Pattern Recognition.
Artificial Intelligence (incl. Robotics)
Logic programming
Algorithms
Automatic theorem proving
Algorithm Analysis and Problem Complexity.
Information Systems Applications (incl. Internet)
Computation by Abstract Devices.
Computer programming
Lambda calculus.
Functional programming (Computer science)
Computer Science.
Logic, Symbolic and mathematical