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

30

click to vote

more ICALP 2010 ...

www.ii.uni.wroc.pl

Tweet