Computational Logic Computational Logic Computational Logic Computational Logic
  • Home
  • News
    • News Archive
  • Research
    • Publications
    • Projects
    • Software
  • Teaching
  • Members
  • Events
    • Event Archive
Computational Logic Computational Logic Computational Logic Computational Logic
  • Home
  • News
    • News Archive
  • Research
    • Publications
    • Projects
    • Software
  • Teaching
  • Members
  • Events
    • Event Archive

Subcategories

Aart Middeldorp Teaching

Aart Middeldorp Research

Edited Books

Aart Middeldorp Recommendations

Details
Written by: Gernot Baumgartner
Category: Aart Middeldorp
Read Time: 1 min

Recommendations

Journals
  • Journal of Automated Reasoning
  • Applicable Algebra in Engineering, Communication and Computing
Proceedings
  • Electronic Proceedings in Theoretical Computer Science

Page 2 of 2

  • 1
  • 2
Quick Links
  • Department of Computer Science
  • LFU:Online Courses
  • OLAT
  • Webconference (BBB)
© 2026 Computational Logic
  • Privacy
  • Terms of Use
  • Policy
  • Home
  • News
    • News Archive
  • Research
    • Publications
    • Projects
    • Software
  • Teaching
  • Members
  • Events
    • Event Archive