1
Published 2005
Table of Contents: ... -- Clique-Width for Four-Vertex Forbidden Subgraphs -- Computational Game Theory -- On the Complexity...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... Sequences -- Functional Equations in Shostak Theories -- All Semi-local Longest Common Subsequences...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... and Recursive Types Logically -- The Language ?: Circuits, Computations and Classical Logic -- Checking Risky...
View full text
Electronic eBook
6
Table of Contents: ... and Recursive Definitions -- Proofs by Induction -- Games and Strategies -- Part II: Modelling Computing Systems...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ...Invited Lectures -- Page Migration in Dynamic Networks -- Knot Theory, Jones Polynomial and Quantum...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ... -- Quantum Field Theory for Legspinners -- Bicompletions of Distance Matrices -- Partial Recursive Functions...
View full text
Electronic eBook