Home Advanced Search

Advanced Search - Page 1

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
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.)
Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Giuseppe Castagna (auth.), Roberto Bruni, Juergen Dingel (eds.)
Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Mario Bravetti, Gianluigi Zavattaro (auth.), Roberto Bruni, Karsten Wolf (eds.)
Formal Techniques for Distributed Systems. Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 and 30th IFIP WG 6.1 International Conference, FORTE 2011 Reykjavik, Iceland, June 6-9, 2011 Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Roberto Bruni, Juergen Dingel (eds.)
Models of Computation
  • PDF
  • English
  • Year: 2017
  • Author: Roberto Bruni, Ugo Montanari (auth.)
Mathematical approaches to polymer sequence analysis and related problems
  • PDF
  • English
  • Year: 2011
  • Author: Renato Bruni (auth.), Renato Bruni (eds.)
Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday
  • PDF
  • English
  • Year: 2015
  • Author: Chiara Bodei, Gian-Luigi Ferrari, Corrado Priami (eds.)
search