Reasoning Support for Casl with Automated Theorem Proving Systems
From MaRDI portal
Publication:3591069
DOI10.1007/978-3-540-71998-4_5zbMath1196.68147OpenAlexW1508520904MaRDI QIDQ3591069
Till Mossakowski, Klaus Lüttich
Publication date: 10 September 2007
Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71998-4_5
Related Items
Uses Software