Steven Eker

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 Santiago Escobar 0001

> Home > Persons > Steven Eker

Publications

2022
[c33]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/DuranEEMMRT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/DuranEEMMRT22
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott:
Equational Unification and Matching, and Symbolic Reachability Analysis in Maude 3.2 (System Description). IJCAR 2022: 529-540
2020
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/DuranEEMMRT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/DuranEEMMRT20
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott:
Programming and symbolic computation in Maude. J. Log. Algebraic Methods Program. 110 (2020)
2019
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-08416
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-08416
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn L. Talcott:
Programming and Symbolic Computation in Maude. CoRR abs/1910.08416 (2019)
2018
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/wrla/DuranEEMMT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrla/DuranEEMMT18
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Associative Unification and Symbolic Reasoning Modulo Associativity in Maude. WRLA@ETAPS 2018: 98-114
2016
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/DuranEEMMT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/DuranEEMMT16
Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Built-in Variant Generation and Unification, and Their Applications in Maude 2.7. IJCAR 2016: 183-192
2015
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/ClavelDEELMT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/ClavelDEELMT15
Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott:
Two Decades of Maude. Logic, Rewriting, and Concurrency 2015: 232-254
2011
[c28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/rta/DuranEEMT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/DuranEEMT11
Francisco Durán, Steven Eker, Santiago Escobar, José Meseguer, Carolyn L. Talcott:
Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6. RTA 2011: 31-40
2009
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/rta/ClavelDEELMMT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/ClavelDEELMMT09
Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Unification and Narrowing in Maude 2.4. RTA 2009: 380-390

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.