Back to Results
First PageMeta Content
Formal languages / Logic / Muller automaton / Linear temporal logic / Partition / FO / Alphabet / First-order logic / Star height / Mathematics / Automata theory / Theoretical computer science


On the Expressive Power of Cost Logics over Infinite Words? Denis Kuperberg1 , Michael Vanden Boom2 1 2
Add to Reading List

Document Date: 2012-10-25 13:52:50

Open Document

File Size: 553,80 KB

Share Result on Facebook

City

Paris / /

Country

France / /

/

Facility

University of Oxford / /

Organization

European Union / Department of Computer Science / National Basketball Association / University of Oxford / /

Person

Min / Rabin / Denis Diderot / Max / Michael Vanden / /

Position

player / CFO / /

RadioStation

WMSO / /

SportsEvent

NBA / /

Technology

dom / /

URL

http /

SocialTag