<--- Back to Details
First PageDocument Content
Frankie Goes to Hollywood / Brian Nash / Liverpool / Holly Johnson / ZTT Records / Relax / Two Tribes / Paul Rutherford / The Power of Love / Music / British people / British music
Date: 2007-06-05 11:28:47
Frankie Goes to Hollywood
Brian Nash
Liverpool
Holly Johnson
ZTT Records
Relax
Two Tribes
Paul Rutherford
The Power of Love
Music
British people
British music

Add to Reading List

Source URL: www.ipo.gov.uk

Download Document from Source Website

File Size: 75,42 KB

Share Document on Facebook

Similar Documents

Complexity classes / Mathematics / Theoretical computer science / Discrete mathematics / EXPTIME / P / Reachability problem / Matrix / Controllability / Decidability / Reachability / Word problem

Reachability games and related matrix and word problems Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by

DocID: 1xU0K - View Document

Formal methods / Theoretical computer science / Cognitive science / Logic in computer science / Cybernetics / Logic / Artificial intelligence / Runtime verification / Intelligent agent / Model checking / Motivation / Autonomy

Verifiable Autonomy Michael Fisher University of Liverpool, 11th September 2015 Formal Verification

DocID: 1xTyY - View Document

Finite automata / Model checking / -automaton / Bchi automaton / Deterministic automaton / Muller automaton / Weak Bchi automaton

Parity and Generalised Büchi Automata Determinisation and Complementation Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy

DocID: 1xTrB - View Document

Game theory / Non-cooperative games / Evolutionary game theory / Nash equilibrium / Strategy / Solution concept / Evolutionarily stable strategy / Zero-sum game / Normal-form game / Folk theorem / Epsilon-equilibrium

Equilibria in Finite Games Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by Anshul Gupta

DocID: 1xTmP - View Document

Temporal logic / Logic in computer science / Computation tree logic / Linear temporal logic / CTL*

Synthesis Sven S hewe University of Liverpool AVACS Autumn S hool, O tober 2nd , 2015

DocID: 1xTb6 - View Document