Home Advanced Search

Advanced Search - Page 1

Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Yoshihito Toyama (auth.), Jürgen Giesl (eds.)
Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Yoshihito Toyama (auth.), Jürgen Giesl (eds.)
Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Yoshihito Toyama (auth.), Jürgen Giesl (eds.)
Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: Jürgen Giesl, Thomas Ströder (auth.), Elvira Albert (eds.)
Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Anders Schack-Nielsen, Carsten Schürmann (auth.), Jürgen Giesl, Reiner Hähnle (eds.)
Construction of global Lyapunov functions using radial basis functions
  • PDF
  • English
  • Year: 2007
  • Author: Peter Giesl (auth.)
Developments in Language Theory: 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Zoltán Ésik (auth.), Masami Ito, Masafumi Toyama (eds.)
Developments in Language Theory: 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Zoltán Ésik (auth.), Masami Ito, Masafumi Toyama (eds.)
Polymer Physics
  • PDF
  • English
  • Year: 1987
  • Author: Yoshihito Osada (auth.)
Developments in Language Theory: 6th International Conference, DLT 2002 Kyoto, Japan, September 18–21, 2002 Revised Papers
  • PDF
  • English
  • Year: 2003
  • Author: Tero Harju, Grzegorz Rozenberg (auth.), Masami Ito, Masafumi Toyama (eds.)
search