Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Fernando Orejas

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Marisa Navarro

> Home > Persons > Fernando Orejas

Publications

2021
[j53]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/NavarroOPL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/NavarroOPL21
Marisa Navarro, Fernando Orejas, Elvira Pino, Leen Lambers:
A navigational logic for reasoning about graph properties. J. Log. Algebraic Methods Program. 118: 100616 (2021)
2020
[c99]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/OrejasPN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/OrejasPN20
Fernando Orejas, Elvira Pino, Marisa Navarro:
Incremental Concurrent Model Synchronization using Triple Graph Grammars. FASE 2020: 273-293
2018
[j48]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/OrejasPNL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/OrejasPNL18
Fernando Orejas, Elvira Pino, Marisa Navarro, Leen Lambers:
Institutions for navigational logics for graphical structures. Theor. Comput. Sci. 741: 19-24 (2018)
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/LambersNOP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/LambersNOP18
Leen Lambers, Marisa Navarro, Fernando Orejas, Elvira Pino:
Towards a Navigational Logic for Graphical Structures. Graph Transformation, Specifications, and Nets 2018: 124-141
2015
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/NavarroOP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/NavarroOP15
Marisa Navarro, Fernando Orejas, Elvira Pino:
Satisfiability of Constraint Specifications on XML Documents. Logic, Rewriting, and Concurrency 2015: 539-561
2014
[c85]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sycss/NavarroO14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sycss/NavarroO14
Marisa Navarro, Fernando Orejas:
A refutation procedure for proving satisfiability of constraint specifications on XML documents. SCSS 2014: 47-61
2013
[j41]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/GaintzarainHLNO13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GaintzarainHLNO13
Jose Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas:
Invariant-Free Clausal Temporal Resolution. J. Autom. Reason. 50(1): 1-49 (2013)
2012
[j36]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/PasarellaOPN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/PasarellaOPN12
Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro:
Semantics of structured normal logic programs. J. Log. Algebraic Methods Program. 81(5): 559-584 (2012)
2009
[j28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/GaintzarainHLNO09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/GaintzarainHLNO09
Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas:
Dual Systems of Tableaux and Sequents for PLTL. J. Log. Algebraic Methods Program. 78(8): 701-722 (2009)
2007
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/GaintzarainHLNO07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/GaintzarainHLNO07
Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas:
A Cut-Free and Invariant-Free Sequent Calculus for PLTL. CSL 2007: 481-495
2005
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/PasarellaOPN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/PasarellaOPN05
Edelmira Pasarella, Fernando Orejas, Elvira Pino, Marisa Navarro:
A Transformational Semantics of Static Embedded Implications of Normal Logic Programs. LOPSTR 2005: 133-146
1996
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/OrejasNS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/OrejasNS96
Fernando Orejas, Marisa Navarro, Ana Sánchez:
Algebraic Implementation of Abstract Data Types: A Survey of Concepts and New Compositionality Results. Math. Struct. Comput. Sci. 6(1): 33-67 (1996)
1995
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/NavarroOS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/NavarroOS95
Marisa Navarro, Fernando Orejas, Ana Sánchez:
On the Correctness of Modular Systems. Theor. Comput. Sci. 140(1): 139-177 (1995)
1993
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/NavarroOR93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/NavarroOR93
Marisa Navarro, Fernando Orejas, Jean-Luc Rémy:
Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications. Acta Informatica 30(2): 147-180 (1993)
[j7]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - journals/eatcs/NavarroOS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/NavarroOS93
Marisa Navarro, Fernando Orejas, Ana Sánchez:
Characterizing Confusion. Bull. EATCS 49: 103-110 (1993)
[c29]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/amast/NavarroOS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/NavarroOS93
Marisa Navarro, Fernando Orejas, Ana Sánchez:
On the Correctness of Modular Systems. AMAST 1993: 209-216
1991
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/compass/OrejasNS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compass/OrejasNS91
Fernando Orejas, Marisa Navarro, Ana Sánchez:
Implementation and Behavioural Equivalence: A Survey. COMPASS/ADT 1991: 93-125
1988
[c14]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/adt/OrejasSNNP88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adt/OrejasSNNP88
Fernando Orejas, Ana Sánchez, Marisa Navarro, Pilar Nivela, Ricardo Pena:
Term Rewriting Methods for Partial Specifications. ADT 1988
1987
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/NavarroO87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/NavarroO87
Marisa Navarro, Fernando Orejas:
Parameterized Horn Clause Specifications: Proof Theory and Correctness. TAPSOFT, Vol.1 1987: 202-216
1984
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosam/NavarroO84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosam/NavarroO84
Marisa Navarro, Fernando Orejas:
On the Equivalence of Hierarchical and Non-Hierarchical Rewriting on Conditional Term Rewriting Systems. EUROSAM 1984: 74-85

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.