Pilar Nivela (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

9 Harald Ganzinger, Robert Nieuwenhuis, Pilar Nivela: Fast Term Indexing with Coded Context Trees. J. Autom. Reasoning 32(2): 103-120 (2004)

8 Harald Ganzinger, Robert Nieuwenhuis, Pilar Nivela: Context Trees. IJCAR 2001: 242-256

7 Pilar Nivela, Robert Nieuwenhuis: Saturation of First-Order (Constrained) Clauses with the Saturate System. RTA 1993: 436-440

6 Robert Nieuwenhuis, Pilar Nivela: Efficient Deduction in Equality Horn Logic by Horn-Completion. Inf. Process. Lett. 39(1): 1-6 (1991)

Selection of 4 from 9 records - Pilar Nivela has 7 coauthors

9		Harald Ganzinger, Robert Nieuwenhuis, Pilar Nivela: Fast Term Indexing with Coded Context Trees. J. Autom. Reasoning 32(2): 103-120 (2004)
8		Harald Ganzinger, Robert Nieuwenhuis, Pilar Nivela: Context Trees. IJCAR 2001: 242-256
7		Pilar Nivela, Robert Nieuwenhuis: Saturation of First-Order (Constrained) Clauses with the Saturate System. RTA 1993: 436-440
6		Robert Nieuwenhuis, Pilar Nivela: Efficient Deduction in Equality Horn Logic by Horn-Completion. Inf. Process. Lett. 39(1): 1-6 (1991)