Filters








35,489 Hits in 3.4 sec

Author index volume 218 (1999)

1999 Theoretical Computer Science  
(1) 205-216 (1) 1 (2) 217-218 (2) 219-232 (2) 217-218 (1) 123-133 Theoretical ELSEVIER Theoretical Computer Science 218 (1999) 419-420 Computer Science  ...  (1) 143-160 (2) 219-232 (1) Elsevier Science B.V. 135-141 (1) 135-141 (1) 107-121 (1) 61-81 (1) 3-12 (1) 83-94 (1) 197-203 (2) 273-283 (1) 13-39 (2) 347-417 (2) 233-248 (1) 177-195  ... 
doi:10.1016/s0304-3975(99)80004-8 fatcat:5bob6uq575gorjuoys47ed62qq

Index

2000 Theoretical Computer Science  
Middeldorp, Logicality of conditional rewrite system (1}2) 209}232 Elsevier Science B.V.  ...  Author index volume 236 (2000) (The issue number is given in front of the page numbers) Arts, T. and J.  ... 
doi:10.1016/s0304-3975(00)00069-4 fatcat:sqy4kyopzbgxvng3e3nnxmw7my

Preface

Mark van den Brand, Didier Parigot
2001 Electronical Notes in Theoretical Computer Science  
The workshop also aims at bringing together people from the theoretical side as well as people who develop tools and work on applications.  ...  Foreword This volume contains the Proceedings of the First Workshop on Language Descriptions, Tools and Applications (LDTA'01).  ...  Mark van den Brand and Didier Parigot June, 2001 This volume will be published as volume 44-2 in the series Electronic Notes in Theoretical Computer Science (ENTCS).  ... 
doi:10.1016/s1571-0661(05)80930-2 fatcat:p2veqz7pb5ay5kvbc7mrjaiue4

Author index volume 172 (1997)

1997 Theoretical Computer Science  
., Removing Ramsey theory: Lower bounds with smaller domain size (Funda-(l-2) 233-254 (1-2) 209-232 mental Study) Fagnot, I., Sur les facteurs des mots automatiques Fischer, P., K.-U. HGffgen and H.  ... 
doi:10.1016/s0304-3975(97)85839-2 fatcat:brwtwbthdjbidkznpmjo7h73ja

Special issues

1992 Theoretical Computer Science  
Special Issues In Volumes l-100 of Theoretical Computer Science the following special issues have been published.  ...  Pottossine 71 (1990) 175-280 Theoretical Computer Science, Algebra and Combinatorics Guest Editor: J.  ... 
doi:10.1016/0304-3975(92)90293-o fatcat:yafx43fp45dj3grn7j5xb3hvvu

Discrete applied problems, cellular automata and lattices: florilegium for E. Goles

J Demongeot, J Mazoyer
2004 Theoretical Computer Science  
These oral contributions have been after prepared in written form and reviewed by external referees as regular papers for Theoretical Computer Science during the year 2002.  ...  The second section presents theoretical results on cellular automata and lattices. The ÿrst paper by M. Delorme and J.  ...  present set of contributions is well representative of the eclectism Eric Goles shows in his own choices of new research ÿelds and o ers to the young community of his students numerous new ways of both theoretical  ... 
doi:10.1016/j.tcs.2004.03.008 fatcat:qmdi2ygne5ejbjwuniw6xbmmyu

Author index volume 258 (2001)

2001 Theoretical Computer Science  
Shekhar (1}2) 555}571 Elsevier Science B.V.  ...  Przymusinski, On the equivalence of the static and disjunctive well-founded semantics and its computation (1}2) 523}553 Broy, M. and G.  ... 
doi:10.1016/s0304-3975(01)00132-3 fatcat:p76kbjvkbrbopkppvqynkgkf24

Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata [chapter]

Sayan Mitra, Yong Wang, Nancy Lynch, Eric Feron
2003 Lecture Notes in Computer Science  
Electronic Notes in Theoretical Computer Science, 125(2):45-65, 2005. 5. Sayan Mitra and L. M. Patnaik Specification language design for hybrid systems.  ...  Electronic Notes in Theoretical Computer Science, 174(8):71-93, June 2007. 4. Sayan Mitra and Myla Archer. PVS strategies for proving abstraction properties of au- tomata.  ... 
doi:10.1007/3-540-36580-x_26 fatcat:ptyxahsjffhdbk6omd5ntkkw3i

Page 326 of Computational Linguistics Vol. 22, Issue 3 [page]

1996 Computational Linguistics  
Theoretical Computer Science, 45:293-351. Ait-Kaci, Hassan, Bob Boyer, Pat Lincoln, and Roger Nasr. 1989. Efficient implementation of lattice operations.  ...  Cambridge Tracts in Theoretical Computer Science. CUP. Clark, Keith and Frank McCabe. 1984. Micro-Prolog. Prentice Hall. Engelkamp, Judith, Gregor Erbach, and Hans Uskoreit. 1992.  ... 

Page 8751 of Mathematical Reviews Vol. , Issue 99m [page]

1999 Mathematical Reviews  
8751 68 COMPUTER SCIENCE 99m:68001 68-00 00A15 Subject index and cumulative index: Volumes 1-200. Theoret. Comput. Sci. 213/214 (1999), Cumulative Index, vili+659 pp. From the preface by M.  ...  Hazewinkel: “Here is a (subject and author) index for volumes 1-200 of the journal Theoretical Com- puter Science. It incorporates the already published index of vol- umes 101-150 [Theoret. Comput.  ... 

Index to the Mathematical Gazette

1978 Mathematical Gazette  
Volume 2 Understanding money. Books 1.2 Continuing mathematics Practice maths; Practice maths answers Problems and solutions in theoretical statistics E. Keith Lloyd H.  ...  Volume 6 Mathematics, probability and miscellaneous other sciences Numerical analysis Urn models and their applications: an approach to modern discrete probability theory Essential topics in modern  ... 
doi:10.1017/s0025557200156128 fatcat:h5pm4efpw5gqdhi6rru4lfmpk4

Page 232 of Social Science Quarterly Vol. 31, Issue 4 [page]

1951 Social Science Quarterly  
232 Tue SOUTHWESTERN SoctaL SciENCE QUARTERLY [Vol.  ...  tables and volumes from the census reports.  ... 

Page 232 of Social Science Quarterly Vol. 31, Issue 4 [page]

1951 Social Science Quarterly  
232 Tue SouTHWestern SoctaL Science QUARTERLY [Vol.  ...  tables and volumes from the census reports.  ... 

Page 6085 of Mathematical Reviews Vol. , Issue 87j [page]

1987 Mathematical Reviews  
, 17/86 Klosterneuburg, 1983 Lecture Notes in Computer Science, 232 Lecture Notes in Computer Science, 239 Lecture Notes in Computer Science, 240 Lecture Notes in Computer Science, 242 Lecture Notes in  ...  Di jubilee commemoration volume. 1908/1983, Part 2 Chaos Cleveland, Ohio, 1984 Coimbra, 1984 Colloquia Mathematica Societatis Janos Bolyai, 39 Computational methods in the mechanics of fracture Computer  ... 

Page 243 of Technical Book Review Index Vol. 52, Issue 7 [page]

1986 Technical Book Review Index  
Science 232:1560 (Jun 20, 1986). 2 col. “{[From a workshop, Bad Windsheim, West Germany, July 1984.]  ...  This volume contains the proceedings of that workshop, a technical discussion on the current state of the art and future directions in molecular astrophysics, covering both observational and theoretical  ... 
« Previous Showing results 1 — 15 out of 35,489 results