Skip to content

Salvador Lucas

  • PHD
  • Full Professor
  • Polytechnic University of Valencia
  • 18h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 1021CitationsNumber of citations received by Salvador's publications. Updated daily.

Research interests

Constraint solvingComputational logicProgram TerminationProgramming languages and Programming Paradigms

Co-authors (60)

Recent publications

  • The 2D Dependency Pair Framework for conditional rewrite systems. Part I: Definition and basic processors

    • Lucas S
    • Meseguer J
    • Gutiérrez R
    N/AReaders
    0Citations
    Get full text
  • Use of logical models for proving infeasibility in term rewriting

    • Lucas S
    • Gutiérrez R
    N/AReaders
    1Citations
    Get full text

Editorships

Journal of Computer and System Sciences

Member of the Editorial Board

2014 - Present

ERCIM News

Member of the Editorial Board

2003 - 2008(5 years)

Journal of Symbolic Computation

Co-editor of an special issue

2005

Professional experience

Full Professor

Universitat Politecnica de Valencia

November 2007 - Present

Education

PhD in Computer Science

Universitat Politecnica de Valencia

September 1994 - October 1998(4 years)

Licenciado en Informática

Universitat Politecnica de Valencia

October 1987 - June 1994(7 years)