Report date: Nov 6,2024 Conflict count: 361874 Publisher: Elsevier Title count: 938 Conflict count: 15239 ========================================================== Created: 2015-02-05 00:31:16 ConfID: 4591021 CauseID: 1376126401 OtherID: 226366891 JT: Information and Computation MD: ,173,2,228,2002,Author Index for Volume 173 DOI: 10.1016/S0890-5401(02)93142-1(Journal) (4591021-N) ========================================================== Created: 2015-03-21 18:16:00 ConfID: 4822119 CauseID: 1377672214 OtherID: 4772767 JT: Information and Computation MD: Ito,177,2,121,2002,GUEST EDITORIAL DOI: 10.1016/S0890-5401(02)93170-6(Journal) (4822119-N) ========================================================== Created: 2015-03-21 09:47:30 ConfID: 4921302 CauseID: 1377644347 OtherID: 5507244 JT: Information and Computation MD: Arias,178,1,214,2002,Learning Closed Horn Expressions DOI: 10.1016/S0890-5401(02)93162-7(Journal) (4921302-N) ========================================================== Created: 2012-02-11 22:33:30 ConfID: 4923451 CauseID: 1348424194 OtherID: 5507244 JT: Information and Computation MD: Bollig,178,1,263,2002,On the Nonapproximability of Boolean Functions by OBDDs and Read-k-Times Branching Programs DOI: 10.1016/S0890-5401(02)93174-3(Journal) (4923451-N) ========================================================== Created: 2012-02-11 22:28:32 ConfID: 4628957 CauseID: 1348411183 OtherID: 226591462 JT: Information and Computation MD: ,153,2,249,1999,Author Index for Volume 153 DOI: 10.1016/S0890-5401(99)92839-0(Journal) (4628957-N) ========================================================== Created: 2015-03-21 09:47:30 ConfID: 4603243 CauseID: 1377644352 OtherID: 5507244 JT: Information and Computation MD: Kurata,178,1,1,2002,Intersection and Singleton Type Assignment Characterizing Finite Böhm-Trees DOI: 10.1016/S0890-5401(02)92907-X(Journal) (4603243-N) ========================================================== Created: 2015-03-21 18:16:27 ConfID: 4603425 CauseID: 1377672271 OtherID: 5507244 JT: Information and Computation MD: Best,178,1,44,2002,The Box Algebra=Petri Nets+Process Expressions DOI: 10.1016/S0890-5401(02)93117-2(Journal) (4603425-N) ========================================================== Created: 2015-06-22 09:48:44 ConfID: 4898599 CauseID: 1381042103 OtherID: 226590920 JT: Information and Computation MD: ,168,1,93,2001,Papers to Appear in Forthcoming Issues DOI: 10.1016/S0890-5401(01)93061-5(Journal) (4898599-N) ========================================================== Created: 2012-02-11 22:33:30 ConfID: 4834584 CauseID: 1348424194 OtherID: 5507244 JT: Information and Computation MD: Vyugin,178,1,241,2002,On Complexity of Easy Predictable Sequences DOI: 10.1016/S0890-5401(02)93164-0(Journal) (4834584-N) ========================================================== Created: 2015-03-21 14:15:37 ConfID: 4834583 CauseID: 1377660838 OtherID: 4772767 JT: Information and Computation MD: Merro,177,2,195,2002,Mobile Objects as Mobile Processes DOI: 10.1016/S0890-5401(02)93172-X(Journal) (4834583-N) ========================================================== Created: 2015-03-21 18:16:00 ConfID: 4835085 CauseID: 1377672214 OtherID: 4772767 JT: Information and Computation MD: Cardelli,177,2,160,2002,Types for the Ambient Calculus DOI: 10.1016/S0890-5401(01)93121-9(Journal) (4835085-N) ========================================================== Created: 2015-03-21 18:16:27 ConfID: 4901961 CauseID: 1377672271 OtherID: 5507244 JT: Information and Computation MD: Lucas,178,1,294,2002,Context-Sensitive Rewriting Strategies DOI: 10.1016/S0890-5401(02)93176-7(Journal) (4901961-N) ========================================================== Created: 2015-02-05 00:31:16 ConfID: 4901984 CauseID: 1376126401 OtherID: 226366891 JT: Information and Computation MD: ,173,2,227,2002,Papers to Appear in Forthcoming Issues DOI: 10.1016/S0890-5401(02)93141-X(Journal) (4901984-N) ========================================================== Created: 2015-03-21 18:16:00 ConfID: 4508684 CauseID: 1377672219 OtherID: 4772767 JT: Information and Computation MD: ,177,2,242,2002,Author Index for Volume 177 DOI: 10.1016/S0890-5401(02)93190-1(Journal) (4508684-N) ========================================================== Created: 2015-03-21 18:16:33 ConfID: 4706294 CauseID: 1377672291 OtherID: 5507244 JT: Information and Computation MD: Neergaard,178,1,149,2002,Conservation and Uniform Normalization in Lambda Calculi with Erasing Reductions DOI: 10.1016/S0890-5401(02)93153-6(Journal) (4706294-N) ========================================================== Created: 2015-03-21 23:50:13 ConfID: 4706198 CauseID: 1377690077 OtherID: 226591462 JT: Information and Computation MD: ,154,2,167,1999,Author Index for Volume 154 DOI: 10.1016/S0890-5401(99)92840-7(Journal) (4706198-N) ========================================================== Created: 2015-03-21 09:47:30 ConfID: 4577316 CauseID: 1377644352 OtherID: 5507244 JT: Information and Computation MD: Ulidowski,178,1,180,2002,Ordered SOS Process Languages for Branching and Eager Bisimulations DOI: 10.1016/S0890-5401(02)93161-5(Journal) (4577316-N) ========================================================== Created: 2012-02-11 22:33:30 ConfID: 4777870 CauseID: 1348424194 OtherID: 5507244 JT: Information and Computation MD: Goldmann,178,1,253,2002,The Complexity of Solving Equations over Finite Groups DOI: 10.1016/S0890-5401(02)93173-1(Journal) (4777870-N) ========================================================== Created: 2015-03-21 09:47:30 ConfID: 4616142 CauseID: 1377644347 OtherID: 5507244 JT: Information and Computation MD: Honsell,178,1,23,2002,Prelogical Relations DOI: 10.1016/S0890-5401(02)93115-9(Journal) (4616142-N) ========================================================== Created: 2015-03-21 09:47:30 ConfID: 4847161 CauseID: 1377644345 OtherID: 5507244 JT: Information and Computation MD: Durand,178,1,12,2002,Linear Time and the Power of One First-Order Universal Quantifier DOI: 10.1016/S0890-5401(02)93027-0(Journal) (4847161-N) ========================================================== Created: 2015-03-21 18:16:33 ConfID: 4914192 CauseID: 1377672292 OtherID: 5507244 JT: Information and Computation MD: Pnueli,178,1,279,2002,The Small Model Property: How Small Can It Be? DOI: 10.1016/S0890-5401(02)93175-5(Journal) (4914192-N) ========================================================== Created: 2015-03-21 14:15:37 ConfID: 4914378 CauseID: 1377660844 OtherID: 4772767 JT: Information and Computation MD: Kobayashi,177,2,122,2002,A Type System for Lock-Free Processes DOI: 10.1016/S0890-5401(02)93171-8(Journal) (4914378-N) ========================================================== Created: 2012-02-11 22:31:14 ConfID: 4652578 CauseID: 1348417701 OtherID: 1377706300 JT: Information and Computation MD: ,141,2,205,1998,Author Index for Volume 141 DOI: 10.1016/S0890-5401(98)92719-5(Journal) (4652578-N)