Filters








52,020 Hits in 3.3 sec

Author index volume 162 (1996)

1996 Theoretical Computer Science  
(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  
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

Maurice Margenstern
2003 Theoretical Computer Science  
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  
(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

Luca Aceto, Andrew D. Gordon
2006 Electronical Notes in Theoretical Computer Science  
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  
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  
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  
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  
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

Peter D. Mosses, Irek Ulidowski
2007 Theoretical Computer Science  
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  
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  
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  
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  
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

Venkatesh Raman, S. P. Suresh, Marc Herbstritt
2014 Foundations of Software Technology and Theoretical Computer Science  
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