B and D Are Enough to Make the Halpern-Shoham Logic Undecidable - Sciweavers

29

click to vote

more ICALP 2010 ...

www.ii.uni.wroc.pl

Tweet