×
Author ID: pino.elvira Recent zbMATH articles by "Pino, Elvira"
Published as: Pino, Elvira; Pino, E.
Documents Indexed: 17 Publications since 1994
Co-Authors: 9 Co-Authors with 17 Joint Publications
197 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

11 Publications have been cited 20 times in 13 Documents Cited by Year
Institutions for logic programming. Zbl 0901.68027
Orejas, Fernando; Pino, Elvira; Ehrig, Hartmut
3
1997
Towards a navigational logic for graphical structures. Zbl 1383.68064
Lambers, Leen; Navarro, Marisa; Orejas, Fernando; Pino, Elvira
3
2018
A navigational logic for reasoning about graph properties. Zbl 1455.68147
Navarro, Marisa; Orejas, Fernando; Pino, Elvira; Lambers, Leen
3
2021
An algebraic framework for the definition of compositional semantics of normal logic programs. Zbl 0933.68031
Lucio, Paqui; Orejas, Fernando; Pino, Elvira
2
1999
A transformational semantics of static embedded implications of normal logic programs. Zbl 1156.68329
Pasarella, Edelmira; Orejas, Fernando; Pino, Elvira; Navarro, Marisa
2
2006
Institutions for navigational logics for graphical structures. Zbl 1436.03325
Orejas, Fernando; Pino, Elvira; Navarro, Marisa; Lambers, Leen
2
2018
A functorial framework for constraint normal logic programming. Zbl 1132.68324
Lucio, Paqui; Orejas, Fernando; Pasarella, Edelmira; Pino, Elvira
1
2006
Semantics of normal logic programs with embedded implications. Zbl 1053.68541
Orejas, Fernando; Pasarella, Edelmira; Pino, Elvira
1
2001
Satisfiability of constraint specifications on XML documents. Zbl 1321.68352
Navarro, Marisa; Orejas, Fernando; Pino, Elvira
1
2015
A functorial framework for constraint normal logic programming. Zbl 1147.68013
Lucio, P.; Orejas, F.; Pasarella, E.; Pino, E.
1
2008
Incremental concurrent model synchronization using triple graph grammars. Zbl 1507.68095
Orejas, Fernando; Pino, Elvira; Navarro, Marisa
1
2020
A navigational logic for reasoning about graph properties. Zbl 1455.68147
Navarro, Marisa; Orejas, Fernando; Pino, Elvira; Lambers, Leen
3
2021
Incremental concurrent model synchronization using triple graph grammars. Zbl 1507.68095
Orejas, Fernando; Pino, Elvira; Navarro, Marisa
1
2020
Towards a navigational logic for graphical structures. Zbl 1383.68064
Lambers, Leen; Navarro, Marisa; Orejas, Fernando; Pino, Elvira
3
2018
Institutions for navigational logics for graphical structures. Zbl 1436.03325
Orejas, Fernando; Pino, Elvira; Navarro, Marisa; Lambers, Leen
2
2018
Satisfiability of constraint specifications on XML documents. Zbl 1321.68352
Navarro, Marisa; Orejas, Fernando; Pino, Elvira
1
2015
A functorial framework for constraint normal logic programming. Zbl 1147.68013
Lucio, P.; Orejas, F.; Pasarella, E.; Pino, E.
1
2008
A transformational semantics of static embedded implications of normal logic programs. Zbl 1156.68329
Pasarella, Edelmira; Orejas, Fernando; Pino, Elvira; Navarro, Marisa
2
2006
A functorial framework for constraint normal logic programming. Zbl 1132.68324
Lucio, Paqui; Orejas, Fernando; Pasarella, Edelmira; Pino, Elvira
1
2006
Semantics of normal logic programs with embedded implications. Zbl 1053.68541
Orejas, Fernando; Pasarella, Edelmira; Pino, Elvira
1
2001
An algebraic framework for the definition of compositional semantics of normal logic programs. Zbl 0933.68031
Lucio, Paqui; Orejas, Fernando; Pino, Elvira
2
1999
Institutions for logic programming. Zbl 0901.68027
Orejas, Fernando; Pino, Elvira; Ehrig, Hartmut
3
1997

Citations by Year