Integration of semantic theories

Research output

Research output per year 1997 2000

• 5 Chapter
• 3 Conference contribution
• 1 Book editing
• 1 Report
• 1 More
  • 1 Book/Film/Article review

Research output per year

Research output per year

Search results

• 1997

  Program Semantics and Classical Logic

  Muskens, R. A., 1997, Saarbrucken: Universitat des Saarlandes. 27 p. (CLAUS Report; no. 86)

  Research output: Book/Report › Report

  File