Languages
Middeldorp, Aart.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
Functional and logic programming = 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings /
by:
Middeldorp, Aart.; Sato, Taisuke.; SpringerLink (Online service); Fuji International Symposium on Functional and Logic Programming (1999 :)
(Language materials, printed)
Automated deduction - CADE-25 = 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings /
by:
Felty, Amy P.; Middeldorp, Aart.; SpringerLink (Online service)
(Electronic resources)
Rewriting techniques and applications = 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings /
by:
Middeldorp, Aart.; SpringerLink (Online service); RTA 2001. ((2001 :)
(Language materials, printed)
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