Search the dblp DataBase
Pilar Nivela: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Pilar Nivela, Fernando Orejas
Initial Behaviour Semantics for Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
ADT, 1987, pp:184-207 [Conf] - Pilar Nivela, Fernando Orejas
A Module Concept within the Initial Behaviour Framework. [Citation Graph (0, 0)][DBLP]
ADT, 1988, pp:- [Conf] - Fernando Orejas, Pilar Nivela
Constraints for Behavioural Specifications. [Citation Graph (0, 0)][DBLP]
ADT, 1990, pp:220-245 [Conf] - Fernando Orejas, Ana Sánchez, Marisa Navarro, Pilar Nivela, Ricardo Pena
Term Rewriting Methods for Partial Specifications. [Citation Graph (0, 0)][DBLP]
ADT, 1988, pp:- [Conf] - Harald Ganzinger, Robert Nieuwenhuis, Pilar Nivela
Context Trees. [Citation Graph (0, 0)][DBLP]
IJCAR, 2001, pp:242-256 [Conf] - Fernando Orejas, Pilar Nivela, Hartmut Ehrig
Semantical Constructions for Categories of Behavioural Specifications. [Citation Graph (0, 0)][DBLP]
Categorial Methods in Computer Science, 1988, pp:220-243 [Conf] - Pilar Nivela, Robert Nieuwenhuis
Saturation of First-Order (Constrained) Clauses with the Saturate System. [Citation Graph (0, 0)][DBLP]
RTA, 1993, pp:436-440 [Conf] - Robert Nieuwenhuis, Pilar Nivela
Efficient Deduction in Equality Horn Logic by Horn-Completion. [Citation Graph (0, 0)][DBLP]
Inf. Process. Lett., 1991, v:39, n:1, pp:1-6 [Journal] - Harald Ganzinger, Robert Nieuwenhuis, Pilar Nivela
Fast Term Indexing with Coded Context Trees. [Citation Graph (0, 0)][DBLP]
J. Autom. Reasoning, 2004, v:32, n:2, pp:103-120 [Journal]
Search in 0.002secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002