×

zbMATH — the first resource for mathematics

Pino, Elvira

Compute Distance To:
Author ID: pino.elvira Recent zbMATH articles by "Pino, Elvira"
Published as: Pino, E.; Pino, Elvira
Documents Indexed: 15 Publications since 1997

Publications by Year

Citations contained in zbMATH Open

8 Publications have been cited 13 times in 8 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
2
2018
A transformational semantics of static embedded implications of normal logic programs. Zbl 1156.68329
Pasarella, Edelmira; Orejas, Fernando; Pino, Elvira; Navarro, Marisa
2
2006
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 navigational logics for graphical structures. Zbl 1436.03325
Orejas, Fernando; Pino, Elvira; Navarro, Marisa; Lambers, Leen
1
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 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
Towards a navigational logic for graphical structures. Zbl 1383.68064
Lambers, Leen; Navarro, Marisa; Orejas, Fernando; Pino, Elvira
2
2018
Institutions for navigational logics for graphical structures. Zbl 1436.03325
Orejas, Fernando; Pino, Elvira; Navarro, Marisa; Lambers, Leen
1
2018
Satisfiability of constraint specifications on XML documents. Zbl 1321.68352
Navarro, Marisa; Orejas, Fernando; Pino, Elvira
1
2015
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