Pilar Nivela

According to our database, Pilar Nivela authored at least 9 papers between 1987 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

Fast Term Indexing with Coded Context Trees.

Harald Ganzinger, Robert Nieuwenhuis, Pilar Nivela

J. Autom. Reason., 2004

2001

Context Trees.

Harald Ganzinger, Robert Nieuwenhuis, Pilar Nivela

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

1993

Saturation of First-Order (Constrained) Clauses with the <i>Saturate</i> System.

Pilar Nivela, Robert Nieuwenhuis

Proceedings of the Rewriting Techniques and Applications, 5th International Conference, 1993

1991

Efficient Deduction in Equality Horn Logic by Horn-Completion.

Robert Nieuwenhuis, Pilar Nivela

Inf. Process. Lett., 1991

1990

Constraints for Behavioural Specifications.

Fernando Orejas, Pilar Nivela

Proceedings of the Recent Trends in Data Type Specification, 1990

1988

Semantical Constructions for Categories of Behavioural Specifications.

Fernando Orejas, Pilar Nivela, Hartmut Ehrig

Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988

Term Rewriting Methods for Partial Specifications.

Fernando Orejas, Ana Sánchez, Marisa Navarro, Pilar Nivela, Ricardo Pena

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988

A Module Concept within the Initial Behaviour Framework.

Pilar Nivela, Fernando Orejas

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988

1987

Initial Behaviour Semantics for Algebraic Specifications.

Pilar Nivela, Fernando Orejas

Proceedings of the Recent Trends in Data Type Specification, 1987