Advertisement

Tutorial on compilation techniques for logics

  • Hans Jürgen Ohlbach
  • Andreas Herzig
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 449)

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Hans Jürgen Ohlbach
    • 1
  • Andreas Herzig
    • 2
  1. 1.University of KaiserslauternKaiserslauternWest Germany
  2. 2.Université Paul SabatierToulouseFrance

Personalised recommendations