Labelled Superposition for PLTL
From MaRDI portal
Publication:2891470
DOI10.1007/978-3-642-28717-6_31zbMath1352.68164OpenAlexW1525473295MaRDI QIDQ2891470
Martin Suda, Christoph Weidenbach
Publication date: 15 June 2012
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11858/00-001M-0000-0024-03DC-B
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
This page was built for publication: Labelled Superposition for PLTL
