Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008 - IFIP International Federation for Information Processing
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer US

9780387096797, 9780387096803

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Differential Linear Logic and Processes

Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008 - IFIP International Federation for Information Processing ◽

10.1007/978-0-387-09680-3_19 ◽

2008 ◽

pp. 283-283

Author(s):

Thomas Ehrhard

Keyword(s):

Linear Logic

Download Full-text

Computability of Tilings

Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008 - IFIP International Federation for Information Processing ◽

10.1007/978-0-387-09680-3_13 ◽

2008 ◽

pp. 187-201 ◽

Cited By ~ 7

Author(s):

Grégory Lafitte ◽

Michael Weiss

Download Full-text

Stable Dynamics of Sand Automata

Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008 - IFIP International Federation for Information Processing ◽

10.1007/978-0-387-09680-3_11 ◽

2008 ◽

pp. 157-169 ◽

Cited By ~ 5

Author(s):

Alberto Dennunzio ◽

Pierre Guillon ◽

Benoît Masson

Download Full-text

Static and dynamic typing for the termination of mobile processes

Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008 - IFIP International Federation for Information Processing ◽

10.1007/978-0-387-09680-3_28 ◽

2008 ◽

pp. 413-427 ◽

Cited By ~ 1

Author(s):

Romain Demangeon ◽

Daniel Hirschkoff ◽

Davide Sangiorgi

Keyword(s):

Mobile Processes ◽

Dynamic Typing

Download Full-text

From Processes to ODEs by Chemistry

Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008 - IFIP International Federation for Information Processing ◽

10.1007/978-0-387-09680-3_18 ◽

2008 ◽

pp. 261-281 ◽

Cited By ~ 11

Author(s):

Luca Cardelli

Download Full-text

Universal Coinductive Characterisations of Process Semantics

Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008 - IFIP International Federation for Information Processing ◽

10.1007/978-0-387-09680-3_27 ◽

2008 ◽

pp. 397-412 ◽

Cited By ~ 1

Author(s):

David de Frutos Escrig ◽

Carlos Gregorio Rodríguez

Download Full-text

A Classification of Degenerate Loop Agreement

Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008 - IFIP International Federation for Information Processing ◽

10.1007/978-0-387-09680-3_14 ◽

2008 ◽

pp. 203-213 ◽

Cited By ~ 1

Author(s):

Xingwu Liu ◽

Juhua Pu ◽

Jianzhong Pan

Download Full-text

Algorithmic Game Theory: Some Greatest Hits and Future Directions

Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008 - IFIP International Federation for Information Processing ◽

10.1007/978-0-387-09680-3_2 ◽

2008 ◽

pp. 21-42

Author(s):

Tim Roughgarden

Keyword(s):

Game Theory ◽

Algorithmic Game Theory ◽

Future Directions ◽

Algorithmic Game

Download Full-text

Ambiguity and Complementation in Recognizable Two-dimensional Languages

Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008 - IFIP International Federation for Information Processing ◽

10.1007/978-0-387-09680-3_1 ◽

2008 ◽

pp. 5-20 ◽

Cited By ~ 3

Author(s):

D. Giammarresi ◽

A. Restivo

Keyword(s):

Two Dimensional

Download Full-text

From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-order Decision Procedures

Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008 - IFIP International Federation for Information Processing ◽

10.1007/978-0-387-09680-3_24 ◽

2008 ◽

pp. 349-365 ◽

Cited By ~ 1

Author(s):

Fréderic Blanqui ◽

Jean-Pierre Jouannaud ◽

Pierre-Yves Strub

Keyword(s):

Decision Procedures ◽

Formal Proofs ◽

First Order ◽

Mathematical Proofs

Download Full-text

Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008 - IFIP International Federation for Information ProcessingLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer US

Differential Linear Logic and Processes

Computability of Tilings

Stable Dynamics of Sand Automata

Static and dynamic typing for the termination of mobile processes

From Processes to ODEs by Chemistry

Universal Coinductive Characterisations of Process Semantics

A Classification of Degenerate Loop Agreement

Algorithmic Game Theory: Some Greatest Hits and Future Directions

Ambiguity and Complementation in Recognizable Two-dimensional Languages

From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-order Decision Procedures

Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008 - IFIP International Federation for Information Processing
Latest Publications