Home Advanced Search

Advanced Search - Page 1

Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
  • PDF
  • English
  • Author: Santiago Escobar
Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers (Lecture ... Computer Science and General Issues)
  • PDF
  • English
  • Year: 2010
  • Author: Santiago Escobar
Rewriting Logic and Its Applications: 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers
  • PDF
  • English
  • Year: 2020
  • Author: Santiago Escobar, Narciso Martí-Oliet
Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Roberto Ierusalimschy (auth.), Santiago Escobar (eds.)
Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: María Alpuente, Santiago Escobar, José Iborra (auth.), Andrei Voronkov (eds.)
The Latina Trailblazer: Inspiring Stories from Latinas Who Overcame Adversity and Forged a New Path
  • EPUB
  • English
  • Year: 2021
  • Author: Escobar
Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures
  • PDF
  • English
  • Year: 2009
  • Author: Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)
Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers
  • PDF
  • English
  • Year: 2003
  • Author: María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas (auth.), Michael Leuschel (eds.)
Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures
  • PDF
  • English
  • Year: 2009
  • Author: Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)
Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures
  • PDF
  • English
  • Year: 2009
  • Author: Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)
search