A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Author index volume 162 (1996)
1996
Theoretical Computer Science
Preserved Fulltext
(1) I-3 (2) 2255243 (2) 3233340 (1) 45% 77 (2) 341-349 (2) 2255243 (I) 799115 (2) 171. 172 (2) 3233340 (1) 1~ 3 (2) 351-369 (2) 2977322 (2) Elsevier Science B.V 3233340
(2) 2833296
(2) 2455281 ...
doi:10.1016/s0304-3975(96)90231-5
fatcat:j3cqietl4jdpjcb6hboxlkqjmy
Author index
2002
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Theoretical Computer Science 280 (2002) 193 Author index volume 280 (2002) (The issue number is given in front of the page numbers) C# ırstea, C., A coalgebraic equational approach to specifying observational ...
structures (1-2) 137-162 Wolter, U., CSP, partial automata, and coalgebras (1-2) 3-34 , H., see J. ...
doi:10.1016/s0304-3975(02)00195-0
fatcat:nbub4fipeneixhimbrk6pzzzba
Foreword
2003
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
It was followed by the special issue of Theoretical Computer Science 162-2 being devoted to the best papers of the conference. ...
It was also followed by a special issue of Theoretical Computer Science, this time the volume 231-2. ...
Foreword / Theoretical Computer Science 296 (2003) 193 -194 this issue gives an account of a new ÿeld, which was recently opened in this important domain. ...
doi:10.1016/s0304-3975(02)00654-0
fatcat:uqyxrljmr5ezdgcnc6qaez6xqm
Author index volume 136 (1994)
1994
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
(1) 243-275 (2) Elsevier Science B.V. 507-526
(1) 243-275
(1) 217-242
(2) 361-385
(1) 57-78
(2) 527-532
(1) 21-56
(1) 57 78
(2) 471 485
(1) 3 20
(1) 183-216
(2) 527-532
(2) 487-506
( ...
1) 79 107
(2) 361-385
(1)
1
(1) 109-123
(2) 527-532
(1) 183-216
(2) 333-360
(1)
1
(2) 291-332
(1) 125-162
(1) 163 181
(1)
1
(2) 507-526
(2) 387 417
(1) 79 107
(2) 387-417
(2) 419 469 ...
doi:10.1016/0304-3975(94)80003-e
fatcat:getjpwawnjcivndtull7h63jjy
Preface
2006
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This issue of Electronic Notes in Theoretical Computer Science contains revised, though again unrefereed, versions of the essays in the original BRICS report. ...
It also contains the full text of Martin Berger's interview with Robin Milner, abridged in the original volume. ...
doi:10.1016/j.entcs.2005.12.100
fatcat:7chtklithzbadd5kv3iyt24lsq
Author index of Volume 67
2007
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Engineering and theoretical underpinnings of retrenchment (2-3) 301-329 Breutel, S., see C. Ouyang (2-3) 162-198 Carbonaro, M., see M. Cutumisu (1) 32-58 Cutumisu, M., C. ...
Dumas and A.H.M. ter Hofstede, Formal semantics and analysis of control flow in WS-BPEL (2-3) 162-198 Overmars, M.H., see D. , K., see M. Cutumisu ...
doi:10.1016/s0167-6423(07)00117-7
fatcat:u42arfqhqndgnj3kakby7hp7zm
Author index volume 269 (2001)
2001
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Sittampalam, Higher-order matching for program transformation (1}2) 135}162 DuK ntsch, I. and S. ...
Riany (1}2) 163}201 Sittampalam, G., see O. de Moor (1}2) 135}162 S+rensen, M.H., see G. Barthe (1}2) 317}361 TasicH , B., see D. ...
doi:10.1016/s0304-3975(01)00335-8
fatcat:oxlsxh4dgnfoxbuq7wsipw4exm
Page 1253 of Mathematical Reviews Vol. , Issue 99b
[page]
1991
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Theoret. Comput. Sci. 203 (1998), no. 1.
Elsevier Science Publishers, B.V., Amsterdam, 1998. pp. i-iiand 1-173. ...
{The papers are being reviewed individually. }
99b:68005 68-06 05C85 68R10
* Graph-theoretic concepts in computer science. ...
Author index volume 255 (2001)
2001
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Calude
Author index volume 255 / Theoretical Computer Science 255 (2001) 699}700 ...
Chen, A theoretical foundation for program transformations to reduce cache thrashing due to true data sharing (1}2) 449}481 Elsevier Science B.V. bler, J., see V. ...
doi:10.1016/s0304-3975(01)00041-x
fatcat:g2gqkmgyu5hxtp6i7jwlixjzwa
Preface
2007
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The proceedings appeared as ENTCS Volume 128, issue 1. ...
The proceedings of SOS 2005 appeared as ENTCS Volume 156, issue 1. ...
Preface / Theoretical Computer Science 373 (2007) [161] [162] The paper on Adding Recursion to Dpi, by Samuel Hym and Matthew Hennessy, considers an extension of Dpi, a distributed version of the ...
doi:10.1016/j.tcs.2006.12.015
fatcat:erird75bmrbrdh5h7bwldxzguy
Page 3180 of Mathematical Reviews Vol. , Issue 2003d
[page]
2003
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Theoret. Comput. Sci. Chicago Journal of Theoretical Computer Science. (Formerly Chicago J. Theoret. Comput. Sci.) Papers posted irregularly composing 1 vol./yr. $125.00/yr. Univ. Chicago, Dep. ...
Math., B.P. 162, 91000 Skopje, Former Yugoslav Republic of Macedonia. 39 2001- ISSN 0351-7441.
. Shandong Univ. Nat. Sci. Journal of Shandong University. Natural Science. Shandong Daxue Xuebao. ...
Page 192 of Computational Linguistics Vol. 15, Issue 3
[page]
1989
Computational Linguistics
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Courant Computer Science Report 7, Courant Institute of Mathematical Sciences, New York University: 27-48. ...
Yovits (ed.), Advances in computers 17, Academic Press, New York: 89-162.
Sager, N. 1986 Sublanguage: Linguistic phenomenon, computational tool. In: Grishman and Kittredge 1986: 1-18. ...
Index
2000
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Theoretical Computer Science 235 (2000) 357}358 Author index volume 235 (2000) (The issue number is given in front of the page numbers) Ando, K., see T. Kojima (2) 257}266 Bach, E. and M. ...
Deza (2) 217 Elsevier Science B.V. ...
doi:10.1016/s0304-3975(00)00046-3
fatcat:yx2ro2nonnfgvpvhmnuhvmy6si
Master index
2002
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Master index volume 261}270 / Theoretical Computer Science 270 (2002) 981}992 ...
Baum, Rush Hour is PSPACE-complete, or Why you should generously tip parking
Master index volume 261}270 / Theoretical Computer Science 270 (2002) 981}992Elsevier Science B.V. ...
doi:10.1016/s0304-3975(01)00371-1
fatcat:x7o4rn3b5jb6tkxcekstld7tg4
Front Matter, Table of Contents, Preface, Conference Organization
2014
Foundations of Software Technology and Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Suresh December 2014 34th Int'l Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2014). Editors: Venkatesh Raman and S. P. ...
Session 5B
Preface The 34th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2014) was held at the India International Centre, New Delhi, from December ...
This proceedings volume contains the contributed papers and abstracts of invited talks presented at the conference. ...
doi:10.4230/lipics.fsttcs.2014.i
dblp:conf/fsttcs/X14
fatcat:puhf7tlo7nayxi2z3tsq52m4em
« Previous
Showing results 1 — 15 out of 52,020 results