Sequentialising Nested Systems

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/978-3-030-29026-9_9 ◽

2019 ◽

pp. 147-165 ◽

Cited By ~ 1

Author(s):

Elaine Pimentel ◽

Revantha Ramanayake ◽

Björn Lellmann

Download Full-text