wikidata.org
IFIP International Conference on Theoretical Computer Science
container_4bk4ydub5vauzozsnu3no4kpaa
Homepage URLs
https://link.springer.com/conference/tcs |
Example Publications
Model Checking Birth and Death [chapter]
Dino Distefano, Arend Rensink, Joost-Pieter Katoen
2002
|
IFIP International Conference on Theoretical Computer Science
doi:10.1007/978-0-387-35608-2_36 dblp:conf/ifipTCS/DistefanoRK02
On Reduction Semantics for the Push and Pull Ambient Calculus [chapter]
Iain Phillips, Maria Grazia Vigliotti
2002
|
IFIP International Conference on Theoretical Computer Science
doi:10.1007/978-0-387-35608-2_45 dblp:conf/ifipTCS/PhillipsV02
Information Networks, Link Analysis, and Temporal Dynamics [chapter]
Jon Kleinberg
2002
|
IFIP International Conference on Theoretical Computer Science
doi:10.1007/978-0-387-35608-2_2 dblp:conf/ifipTCS/Kleinberg02
Guarding Galleries and Terrains [chapter]
Alon Efrat, Sariel Har-Peled
2002
|
IFIP International Conference on Theoretical Computer Science
doi:10.1007/978-0-387-35608-2_16 dblp:conf/ifipTCS/EfratH02
On the Enumerability of the Determinant and the Rank [chapter]
Alina Beygelzimer, Mitsunori Ogihara
2002
|
IFIP International Conference on Theoretical Computer Science
doi:10.1007/978-0-387-35608-2_6 dblp:conf/ifipTCS/BeygelzimerO02