| 2004 |
|---|
| 9 | EE | Harald Ganzinger,
Robert Nieuwenhuis,
Pilar Nivela:
Fast Term Indexing with Coded Context Trees.
J. Autom. Reasoning 32(2): 103-120 (2004) |
| 2001 |
|---|
| 8 | EE | Harald Ganzinger,
Robert Nieuwenhuis,
Pilar Nivela:
Context Trees.
IJCAR 2001: 242-256 |
| 1993 |
|---|
| 7 | | Pilar Nivela,
Robert Nieuwenhuis:
Saturation of First-Order (Constrained) Clauses with the Saturate System.
RTA 1993: 436-440 |
| 1991 |
|---|
| 6 | | Robert Nieuwenhuis,
Pilar Nivela:
Efficient Deduction in Equality Horn Logic by Horn-Completion.
Inf. Process. Lett. 39(1): 1-6 (1991) |
| 1990 |
|---|
| 5 | | Fernando Orejas,
Pilar Nivela:
Constraints for Behavioural Specifications.
ADT 1990: 220-245 |
| 1988 |
|---|
| 4 | | Pilar Nivela,
Fernando Orejas:
A Module Concept within the Initial Behaviour Framework.
ADT 1988 |
| 3 | | Fernando Orejas,
Ana Sánchez,
Marisa Navarro,
Pilar Nivela,
Ricardo Pena:
Term Rewriting Methods for Partial Specifications.
ADT 1988 |
| 2 | | Fernando Orejas,
Pilar Nivela,
Hartmut Ehrig:
Semantical Constructions for Categories of Behavioural Specifications.
Categorial Methods in Computer Science 1988: 220-243 |
| 1987 |
|---|
| 1 | | Pilar Nivela,
Fernando Orejas:
Initial Behaviour Semantics for Algebraic Specifications.
ADT 1987: 184-207 |
