dblp.uni-trier.dewww.uni-trier.de

Pilar Nivela Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2004
9EEHarald Ganzinger, Robert Nieuwenhuis, Pilar Nivela: Fast Term Indexing with Coded Context Trees. J. Autom. Reasoning 32(2): 103-120 (2004)
2001
8EEHarald Ganzinger, Robert Nieuwenhuis, Pilar Nivela: Context Trees. IJCAR 2001: 242-256
1993
7EEPilar 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

Coauthor Index

1Hartmut Ehrig [2]
2Harald Ganzinger [8] [9]
3Marisa Navarro [3]
4Robert Nieuwenhuis [6] [7] [8] [9]
5Fernando Orejas [1] [2] [3] [4] [5]
6Ricardo Peña-Marí (Ricardo Pena) [3]
7Ana Sánchez [3]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)