Home Advanced Search

Advanced Search - Page 1

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.)
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.)
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.)
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.)
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
Information Technology for Knowledge Management
  • PDF
  • English
  • Year: 1998
  • Author: Uwe M. Borghoff, Remo Pareschi (auth.), Dr. Uwe M. Borghoff, Dr. Remo Pareschi (eds.)
ECOOP’95 — Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7–11, 1995
  • PDF
  • English
  • Year: 1995
  • Author: Dave Thomas (auth.), Mario Tokoro, Remo Pareschi (eds.)
ECOOP’95 — Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7–11, 1995
  • DJVU
  • English
  • Year: 1995
  • Author: Dave Thomas (auth.), Mario Tokoro, Remo Pareschi (eds.)
Object-Oriented Programming: 8th European Conference, ECOOP '94 Bologna, Italy, July 4–8, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Luc Steels (auth.), Mario Tokoro, Remo Pareschi (eds.)
Extensions of Logic Programming: International Workshop Tübingen, FRG, December 8–10, 1989 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: Jean-Marc Andreoli, Remo Pareschi (auth.), Peter Schroeder-Heister (eds.)
search