Back to Results
First PageMeta Content
Logi / Realizability / Mathematics / Logic / Abstraction / Linear temporal logic / Temporal logic / Free variables and bound variables


Coordination Logi ? Bernd Finkbeiner1 and Sven S hewe2 1 Universitat des Saarlandes University of Liverpool
Add to Reading List

Document Date: 2010-08-16 15:28:31

Open Document

File Size: 240,53 KB

Share Result on Facebook

City

Automata / /

Facility

To bridge / Saarlandes University of Liverpool / /

IndustryTerm

automated banking terminal / synthesis algorithms / entral server / /

Organization

University of Liverpool / /

Person

Game / /

Position

distributed arbiter / player / king / hoi es player / model / /

Technology

synthesis algorithms / king algorithms / /

SocialTag