Showing 1 - 3 results of 3 for search 'Meinke, Karl', query time: 0.02s Refine Results
  1. 1

    Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings /

    Published 1997
    Other Authors:
    Conference Proceeding Book
  2. 2

    Computer science logic /

    Published 1994
    Other Authors:
    Conference Proceeding Book
  3. 3

    Higher-order algebra, logic and term rewriting /

    Published 1996
    Other Authors:
    Conference Proceeding Book