Logical Methods in Computer Science

Identifiers:

• Publisher: International Federation for Computational Logic (IFCoLog)
• Publisher: TU Braunschweig, Institut fuer Theoretische Informatik
• EISSN: 1860-5974