| Publication | Date of Publication | Type |
|---|
Subsumption algorithms based on search trees
Trees in Algebra and Programming — CAAP '96 | 2023-02-23 | Paper |
Transforming strongly sequential rewrite systems with constructors for efficient parallel execution
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Associative-commutative discrimination nets
Lecture Notes in Computer Science | 2022-11-02 | Paper |
Some complexity theoretic aspects of AC rewriting
STACS 89 | 2022-08-16 | Paper |
Inference in probabilistic logic programs with continuous random variables
Theory and Practice of Logic Programming | 2013-03-13 | Paper |
Deductive Spreadsheets Using Tabled Logic Programming
Logic Programming | 2008-03-11 | Paper |
Functional and Logic Programming
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Precise specification matching for adaptive reuse in embedded systems
Journal of Applied Logic | 2007-07-25 | Paper |
BEYOND TAMAKI-SATO STYLE UNFOLD/FOLD TRANSFORMATIONS FOR NORMAL LOGIC PROGRAMS
International Journal of Foundations of Computer Science | 2005-06-22 | Paper |
scientific article; zbMATH DE number 2090522 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 2085276 (Why is no real title available?)
| 2004-08-09 | Paper |
scientific article; zbMATH DE number 2085275 (Why is no real title available?)
| 2004-08-09 | Paper |
scientific article; zbMATH DE number 1500570 (Why is no real title available?)
| 2002-09-08 | Paper |
scientific article; zbMATH DE number 1796121 (Why is no real title available?)
| 2002-09-04 | Paper |
scientific article; zbMATH DE number 1696601 (Why is no real title available?)
| 2002-07-09 | Paper |
scientific article; zbMATH DE number 1696856 (Why is no real title available?)
| 2002-01-28 | Paper |
scientific article; zbMATH DE number 1670807 (Why is no real title available?)
| 2001-12-18 | Paper |
Term indexing
| 2001-10-21 | Paper |
Automata-driven efficient subterm unification
Theoretical Computer Science | 2001-08-20 | Paper |
scientific article; zbMATH DE number 1538018 (Why is no real title available?)
| 2001-06-13 | Paper |
scientific article; zbMATH DE number 1538039 (Why is no real title available?)
| 2001-02-05 | Paper |
scientific article; zbMATH DE number 1487848 (Why is no real title available?)
| 2000-08-10 | Paper |
scientific article; zbMATH DE number 1420818 (Why is no real title available?)
| 2000-03-22 | Paper |
scientific article; zbMATH DE number 1405627 (Why is no real title available?)
| 2000-02-23 | Paper |
Efficient access mechanisms for tabled logic programs
The Journal of Logic Programming | 1999-05-04 | Paper |
Programming in equational logic: Beyond strong sequentiality
Information and Computation | 1995-01-02 | Paper |
scientific article; zbMATH DE number 177827 (Why is no real title available?)
| 1993-05-18 | Paper |
Tight complexity bounds for term matching problems
Information and Computation | 1993-01-17 | Paper |
Approximate algorithms for the Knapsack problem on parallel computers
Information and Computation | 1991-01-01 | Paper |
Optimal matrix multiplication on fault-tolerant VLSI arrays
IEEE Transactions on Computers | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4058881 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4090854 (Why is no real title available?)
| 1988-01-01 | Paper |
Fault-tolerance VLSI sorters
Circuits, Systems, and Signal Processing | 1987-01-01 | Paper |
Computing dominators in parallel
Information Processing Letters | 1987-01-01 | Paper |
Mapping Homogeneous Graphs on Linear Arrays
IEEE Transactions on Computers | 1986-01-01 | Paper |
scientific article; zbMATH DE number 4011929 (Why is no real title available?)
| 1986-01-01 | Paper |
An O(log n) algorithm for parallel update of minimum spanning trees
Information Processing Letters | 1986-01-01 | Paper |
Synthesis of an Optimal Family of Matrix Multiplication Algorithms on Linear Arrays
IEEE Transactions on Computers | 1986-01-01 | Paper |
scientific article; zbMATH DE number 3911707 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3965451 (Why is no real title available?)
| 1985-01-01 | Paper |
Modular Matrix Multiplication on a Linear Array
IEEE Transactions on Computers | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3917694 (Why is no real title available?)
| 1984-01-01 | Paper |
A Robust Matrix-Multiplication Array
IEEE Transactions on Computers | 1984-01-01 | Paper |
A Paradigm for the Design of Parallel Algorithms with Applications
IEEE Transactions on Software Engineering | 1983-01-01 | Paper |
