"Optimization techniques for propositional intuitionistic logic and their ..."

Alessandro Avellone, Guido Fiorino, Ugo Moscato (2008)

Details and statistics

DOI: 10.1016/J.TCS.2008.08.013

access: open

type: Journal Article

metadata version: 2022-06-23