"Logical theories and compatible operations."

Achim Blumensath, Thomas Colcombet, Christof Löding (2008)

Details and statistics

DOI:

access: unavailable

type: Conference or Workshop Paper

metadata version: 2010-12-15