Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Elvira Pino

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 Edelmira Pasarella

> Home > Persons > Elvira Pino

Publications

2012
[j6]
- 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)
2008
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/acs/LucioOPP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acs/LucioOPP08
Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino:
A Functorial Framework for Constraint Normal Logic Programming. Appl. Categorical Struct. 16(3): 421-450 (2008)
2006
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/LucioOPP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/LucioOPP06
Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino:
A Functorial Framework for Constraint Normal Logic Programming. Essays Dedicated to Joseph A. Goguen 2006: 555-577
2005
[c13]
- 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
2001
[c9]
- view
  - electronic edition @ uevora.pt (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/agp/OrejasPP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/OrejasPP01
Fernando Orejas, Edelmira Pasarella, Elvira Pino:
Semantics of normal logic programs with embedded implications. APPIA-GULP-PRODE 2001: 1-15
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/OrejasPP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/OrejasPP01
Fernando Orejas, Edelmira Pasarella, Elvira Pino:
Semantics of Normal Logic Programs with Embedded Implications. ICLP 2001: 255-268
2000
[c6]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/wflp/PasarelaPO00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/PasarelaPO00
Edelmira Pasarella, Elvira Pino, Fernando Orejas:
Constructive negation without subsidiary trees. WFLP 2000: 195-209

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.