Home Advanced Search

Advanced Search - Page 1

Computer Science Logic: 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Susumu Hayashi, Yohji Akama (auth.), Julian Bradfield (eds.)
Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA ’93 March, 16–18, 1993, Utrecht, The Netherlands Proceedings
  • PDF
  • English
  • Year: 1993
  • Author: Yohji Akama (auth.), Marc Bezem, Jan Friso Groote (eds.)
Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications TLCA '97 Nancy, France, April 2–4, 1997 Proceedings
  • PDF
  • English
  • Year: 1997
  • Author: Yohji Akama (auth.), Philippe de Groote, J. Roger Hindley (eds.)
Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications TLCA '97 Nancy, France, April 2–4, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Yohji Akama (auth.), Philippe de Groote, J. Roger Hindley (eds.)
Advances in Computing Science ASIAN 98: 4th Asian Computing Science Conference Manila, The Philippines, December 8–10, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Susumu Hayashi, Ryosuke Sumitomo (auth.), Jieh Hsiang, Atsushi Ohori (eds.)
Verifying Temporal Properties of Systems
  • PDF
  • English
  • Year: 1992
  • Author: Julian Charles Bradfield (auth.)
Discovery Science: 5th International Conference, DS 2002 Lübeck, Germany, November 24–26, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Susumu Hayashi (auth.), Steffen Lange, Ken Satoh, Carl H. Smith (eds.)
Logic, Language and Computation: Festschrift in Honor of Satoru Takasu
  • DJVU
  • English
  • Year: 1994
  • Author: Susumu Hayashi, Yukihide Takayama (auth.), Neil D. Jones, Masami Hagiya, Masahiko Sato (eds.)
Towards Paraconsistent Engineering
  • PDF
  • English
  • Year: 2016
  • Author: Seiki Akama (eds.)
Logic, language and computation
  • DJVU
  • English
  • Year: 1997
  • Author: Seiki Akama (eds.)
search