1
Julkaistu 2007
Sisällysluettelo: ...Invited Papers -- How To Be Fickle -- Finite Model Theory on Tame Classes of Structures -- Minimum...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2013
Sisällysluettelo: ... and Recursive Data Structures -- Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration....
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2005
Sisällysluettelo: ... Evaluation -- Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem -- A...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2008
Sisällysluettelo: ... of Computer Science -- Recursive Domain Equations of Filter Models -- Algorithmic Problems for Metrics...
Hae kokoteksti
Elektroninen E-kirja