Home Advanced Search

Advanced Search - Page 1

Automatic Program Development: A Tribute to Robert Paige
  • PDF
  • English
  • Year: 2008
  • Author: Olivier Danvy, Harry Mairson, Fritz Henglein, Alberto Pettorossi
Techniques for Searching, Parsing, and Matching
  • PDF
  • English
  • Year: 2022
  • Author: Alberto Pettorossi
Automata Theory and Formal Languages: Fundamental Notions, Theorems, and Techniques
  • PDF
  • English
  • Year: 2022
  • Author: Alberto Pettorossi
Automata Theory and Formal Languages: Fundamental Notions, Theorems, and Techniques (Undergraduate Topics in Computer Science)
  • PDF
  • English
  • Year: 2022
  • Author: Alberto Pettorossi
Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Olivier Danvy, Ian Zerny (auth.), María Alpuente (eds.)
Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Olivier Danvy, Ian Zerny (auth.), María Alpuente (eds.)
Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings
  • PDF
  • English
  • Year: 2021
  • Author: Fritz Henglein (editor), Sharon Shoham (editor), Yakir Vizel (editor)
Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
  • PDF
  • English
  • Year: 2011
  • Author: Solomon Feferman (auth.), Gul Agha, Olivier Danvy, José Meseguer (eds.)
Logic, Language, Information and Computation: 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Olivier Danvy, Jacob Johannsen (auth.), Wilfrid Hodges, Ruy de Queiroz (eds.)
Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February 12–16, 1996 Selected Papers
  • DJVU
  • English
  • Year: 1996
  • Author: Sandrine Blazy, Philippe Facon (auth.), Olivier Danvy, Robert Glück, Peter Thiemann (eds.)
search