Pilar Nivela

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

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

Coauthor Index

1	Hartmut Ehrig	[c2]
2	Harald Ganzinger	[j2] [c7]
3	Marisa Navarro	[c3]
4	Robert Nieuwenhuis	[j2] [c7] [c6] [j1]
5	Fernando Orejas	[c5] [c4] [c3] [c2] [c1]
6	Ricardo Peña-Marí (Ricardo Peña, Ricardo Pena)	[c3]
7	Ana Sánchez	[c3]

Last update Sun May 26 08:00:32 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page