Table of contents

  1. Front Matter
  2. M. V. Hermenegildo, R. I. Nasr
    Pages 40-54
  3. Yow-Jian Lin, Vipin Kumar, Clement Leung
    Pages 55-68
  4. Luís Moniz Pereira, Luís Monteiro, José Cunha, Joaquim N. Aparício
    Pages 69-83
  5. Hisao Tamaki, Taisuke Sato
    Pages 84-98
  6. Petr Štěpánek, Olga Štěpánková
    Pages 99-106
  7. Heikki Mannila, Esko Ukkonen
    Pages 122-133
  8. Peter Kursawe
    Pages 134-148
  9. Ian Foster, Steve Gregory, Graem Ringwood, Ken Satoh
    Pages 149-156
  10. Kazuhisa Kawai, Riichiro Mizoguchi, Osamu Kakusho, Jun'ichi Toyoda
    Pages 188-202
  11. Luís Moniz Pereira
    Pages 203-210
  12. J. Jaffar, J -L. Lassez, M. J. Maher
    Pages 223-241
  13. Akikazu Takeuchi, Koichi Furukawa
    Pages 242-254

About these proceedings

Keywords

Extension Pattern Matching Prolog Resolution algorithms artificial intelligence class complexity control grammar logic logic programming machine translation natural language optimization

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-16492-8
  • Copyright Information Springer-Verlag 1986
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-16492-0
  • Online ISBN 978-3-540-39831-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book