Deciding Functional Lists with Sublist Sets

Verified Software: Theories, Tools, Experiments - Lecture Notes in Computer Science ◽

10.1007/978-3-642-27705-4_6 ◽

2012 ◽

pp. 66-81 ◽

Cited By ~ 5

Author(s):

Thomas Wies ◽

Marco Muñiz ◽

Viktor Kuncak

Download Full-text