A
Menu
January 01, 2021 book-chapter Aachen paper

Free Models and Logic Programming

Graduate texts in mathematics, pp. 205–256

DOI: 10.1007/978-3-030-73839-6_11 OpenAlex

Authors 3

  1. Heinz-Dieter Ebbinghaus corresponding

    University of Freiburg

    Affiliation as printed

    Mathematical Institute, University of Freiburg, Freiburg, Germany

  2. Jörg Flum

    University of Freiburg

    Affiliation as printed

    Mathematical Institute, University of Freiburg, Freiburg, Germany

  3. Wolfgang Thomas Aachen Department of Computer Science

    RWTH Aachen University

    Affiliation as printed

    Department of Computer Science, RWTH Aachen University, Aachen, Germany

Cited by 0 stored of 0

No patents citing this paper on Lens.org (checked 2026-10-06).

References 0