Home Advanced Search

Advanced Search - Page 1

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
Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
  • PDF
  • English
  • Year: 2015
  • Author: Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott (eds.)
Dynamic Worlds: From the Frame Problem to Knowledge Management
  • PDF
  • English
  • Year: 1999
  • Author: Narciso Martí-Oliet, José Meseguer (auth.), Remo Pareschi, Bertram Fronhöfer (eds.)
Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: Chiara Bodei, Linda Brodo, Roberto Bruni (auth.), Narciso Martí-Oliet, Miguel Palomino (eds.)
All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic
  • PDF
  • English
  • Year: 2007
  • Author: Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott (auth.)
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
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.)
Pesquisa em Artes Cênicas : Textos e Temas
  • PDF
  • Portuguese
  • Year: 2012
  • Author: Narciso Telles
search