1.4k citations
- University of KansasUS214 papers
- Fermi National Accelerator LaboratoryUS213 papers
- Lyon 1 UniversitéFR207 papers
- Charles UniversityCZ206 papers
- Imperial College LondonGB206 papers
- Northeastern UniversityUS205 papers
- University of Maryland, College ParkUS205 papers
- University of California, RiversideUS204 papers
- University of Nebraska–LincolnUS204 papers
- Lomonosov Moscow State UniversityRU203 papers
- Brown UniversityUS201 papers
- Joint Institute for Nuclear ResearchRU201 papers
Showing 2012 · cs.LOShow all
3 papers · 2 filters
cs.LO2012★ 4 cited
Down the Borel Hierarchy: Solving Muller Games via Safety Games
Daniel Neider, Roman Rabinovich, Martin Zimmermann
We transform a Muller game with n vertices into a safety game with (n!)^3 vertices whose solution allows to determine the winning regions of the Muller game and to compute a finite…
cs.LO2012★ 3 cited
Dependence and Independence
Erich Grädel, Jouko Väänänen
We introduce an atomic formula intuitively saying that given variables are independent from given other variables if a third set of variables is kept constant. We contrast this wit…
cs.LO2012★ 4 cited
Polynomial Interpretations for Higher-Order Rewriting
Carsten Fuhs, Cynthia Kop
The termination method of weakly monotonic algebras, which has been defined for higher-order rewriting in the HRS formalism, offers a lot of power, but has seen little use in recen…