Pilar Nivela

Publication Activity (10 Years)

Years Active: 1987-2004
Publications (10 Years): 0

Publications

Harald Ganzinger, Robert Nieuwenhuis, Pilar Nivela
Fast Term Indexing with Coded Context Trees. J. Autom. Reason. 32 (2) (2004)
Harald Ganzinger, Robert Nieuwenhuis, Pilar Nivela
Context Trees. IJCAR (2001)
Pilar Nivela, Robert Nieuwenhuis
System. RTA (1993)
Robert Nieuwenhuis, Pilar Nivela
Efficient Deduction in Equality Horn Logic by Horn-Completion. Inf. Process. Lett. 39 (1) (1991)
Fernando Orejas, Pilar Nivela
Constraints for Behavioural Specifications. ADT (1990)
Fernando Orejas, Pilar Nivela, Hartmut Ehrig
Semantical Constructions for Categories of Behavioural Specifications. Categorial Methods in Computer Science (1988)
Pilar Nivela, Fernando Orejas
A Module Concept within the Initial Behaviour Framework. ADT (1988)
Fernando Orejas, Ana Sánchez, Marisa Navarro, Pilar Nivela, Ricardo Pena
Term Rewriting Methods for Partial Specifications. ADT (1988)
Pilar Nivela, Fernando Orejas
Initial Behaviour Semantics for Algebraic Specifications. ADT (1987)