1
Published 2008
Springer Berlin Heidelberg
Table of Contents: ...Implementing Spi Calculus Using Nominal Techniques -- An Enhanced Theory of Infinite Time Register...

2
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... to the Engineering of Cellular Models Based on P Systems -- Decidability of Sub-theories of Polynomials over a Finite...

3
Published 2016
Cambridge University Press
Subjects: ...Game theory...

4
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... in the Theory of Aggregation -- Logic and Data Exchange: Which Solutions Are “Good” Solutions? -- Preference...

5
Published 2011
Cambridge University Press
Subjects: ...Game theory...

6
by Kechris, A. S.
Published 2021
Cambridge University Press
Subjects: ...Game theory...

7
Published 2008
Cambridge University Press
Subjects: ...Game theory / Congresses...

8
Published 2009
Springer Berlin Heidelberg
Subjects: ...Formal Languages and Automata Theory...

9
by Benthem, Johan van
Published 2007
Amsterdam Univsity Press
Subjects: ...MATHEMATICS / Game Theory...

10
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... Science -- The Role of Algebraic Models and Type-2 Theory of Effectivity in Special Purpose Processor...

11
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... Reducibility -- Computability-Theoretic and Proof-Theoretic Aspects of Vaughtian Model Theory -- Finite Trees...

12
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... -- Quotients over Minimal Type Theory --...

13
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... -- Hairpin Lengthening -- Infinities in Quantum Field Theory and in Classical Computing: Renormalization...

14
Published 2004
Springer Netherlands
Table of Contents: ... forcing theory -- Classification problems in algebra and topology -- Using easy optimization problems...

15
Published 2011
Springer Berlin Heidelberg
Subjects: ...Theory of Computation...

16
Published 2012
Springer Berlin Heidelberg
Subjects: ...Theory of Computation...

17
Published 2008
Springer New York
Table of Contents: ... Functional Analysis -- Effective Fractal Dimension in Algorithmic Information Theory -- Metamathematical...

18
Published 2013
Springer Berlin Heidelberg
Subjects: ...Theory of Computation...

19
Published 2003
Springer Netherlands
Table of Contents: ...The Diversity of Models in Statistical Mechanics: Views about the Structure of Scientific Theories...