| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 2223042 (Why is no real title available?) | 2005-11-04 | Paper |
Logic-based specification languages for intelligent software agents
Theory and Practice of Logic Programming | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 2084401 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 1950662 (Why is no real title available?) | 2003-07-17 | Paper |
| scientific article; zbMATH DE number 1926613 (Why is no real title available?) | 2003-06-11 | Paper |
| scientific article; zbMATH DE number 1756657 (Why is no real title available?) | 2002-11-05 | Paper |
| scientific article; zbMATH DE number 1755543 (Why is no real title available?) | 2002-06-16 | Paper |
| scientific article; zbMATH DE number 1508924 (Why is no real title available?) | 2000-09-18 | Paper |
| scientific article; zbMATH DE number 773987 (Why is no real title available?) | 2000-07-04 | Paper |
Relating logic programs via program maps
Annals of Mathematics and Artificial Intelligence | 1997-05-12 | Paper |
| scientific article; zbMATH DE number 788036 (Why is no real title available?) | 1995-08-21 | Paper |
| scientific article; zbMATH DE number 67805 (Why is no real title available?) | 1992-09-27 | Paper |
PYTHON: An expert squeezer
The Journal of Logic Programming | 1990-01-01 | Paper |
Diagnosing jaundice expert system
Computers & Mathematics with Applications | 1990-01-01 | Paper |
How to control unfolding when specializing interpreters
New Generation Computing | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4162322 (Why is no real title available?) | 1989-01-01 | Paper |
Solving symbolic equations with PRESS
Journal of Symbolic Computation | 1989-01-01 | Paper |
Transforming generate-and-test programs to execute under committed-choice AND-parallelism
International Journal of Parallel Programming | 1989-01-01 | Paper |
Composing recursive logic programs with clausal join
New Generation Computing | 1988-01-01 | Paper |
Commentary on: solving symbolic equations with PRESS
ACM SIGSAM Bulletin | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3978351 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3856398 (Why is no real title available?) | 1982-01-01 | Paper |
Nilpotent groups of Hirsch length six
Mathematische Zeitschrift | 1982-01-01 | Paper |
Computing invariants for finitely presented nilpotent groups
Bulletin of the Australian Mathematical Society | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3632676 (Why is no real title available?) | 1979-01-01 | Paper |
The last of the Fibonacci groups
Proceedings of the Royal Society of Edinburgh: Section A Mathematics | 1979-01-01 | Paper |
A remark on the construction of designs for two-way elimination of heterogeneity
Bulletin of the Australian Mathematical Society | 1976-01-01 | Paper |
