Report date: Mar 26, 2024 Conflict count: 356923 Publisher: Elsevier - Academic Press Title count: 119 Conflict count: 1063 ========================================================== Created: 2015-03-21 18:16:00.0 ConfID: 4508684 CauseID: 1377672219 OtherID: 4772767 JT: Information and Computation MD: null, 177 ,2,242,2002,Author Index for Volume 177 DOI: 10.1016/S0890-5401(02)93190-1(Journal) (4508684-N ) DOI: 10.1006/inco.2002.3190(Journal) ========================================================== Created: 2015-03-21 09:47:30.0 ConfID: 4577316 CauseID: 1377644352 OtherID: 5507244, 1377672293 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 ) DOI: 10.1006/inco.2002.3161(Journal) ========================================================== Created: 2015-02-05 00:31:16.0 ConfID: 4591021 CauseID: 1376126401 OtherID: 1377697860, 226366891 JT: Information and Computation MD: null, 173 ,2,228,2002,Author Index for Volume 173 DOI: 10.1006/inco.2002.3142(Journal) (4591021-N ) DOI: 10.1016/S0890-5401(02)93142-1(Journal) ========================================================== Created: 2015-03-21 09:47:30.0 ConfID: 4603243 CauseID: 1377644352 OtherID: 5507244, 1377672293 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 ) DOI: 10.1006/inco.2002.2907(Journal) ========================================================== Created: 2015-03-21 18:16:27.0 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 ) DOI: 10.1006/inco.2002.3117(Journal) ========================================================== Created: 2015-03-21 09:47:30.0 ConfID: 4616142 CauseID: 1377644347 OtherID: 5507244, 1377672292 JT: Information and Computation MD: Honsell, 178 ,1,23,2002,Prelogical Relations DOI: 10.1016/S0890-5401(02)93115-9(Journal) (4616142-N ) DOI: 10.1006/inco.2002.3115(Journal) ========================================================== Created: 2012-02-11 22:28:32.0 ConfID: 4628957 CauseID: 1348411183 OtherID: 1377709021, 226591462 JT: Information and Computation MD: null, 153 ,2,249,1999,Author Index for Volume 153 DOI: 10.1006/inco.1999.2839(Journal) (4628957-N ) DOI: 10.1016/S0890-5401(99)92839-0(Journal) ========================================================== Created: 2012-02-11 22:31:14.0 ConfID: 4652578 CauseID: 1348417701 OtherID: 1695695, 1377706300 JT: Information and Computation MD: null, 141 ,2,205,1998,Author Index for Volume 141 DOI: 10.1006/inco.1998.2719(Journal) (4652578-N ) DOI: 10.1016/S0890-5401(98)92719-5(Journal) ========================================================== Created: 2015-03-21 23:50:13.0 ConfID: 4706198 CauseID: 1377690077 OtherID: 226591462 JT: Information and Computation MD: null, 154 ,2,167,1999,Author Index for Volume 154 DOI: 10.1006/inco.1999.2840(Journal) (4706198-N ) DOI: 10.1016/S0890-5401(99)92840-7(Journal) ========================================================== Created: 2015-03-21 18:16:33.0 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 ) DOI: 10.1006/inco.2002.3153(Journal) ========================================================== Created: 2012-02-11 22:33:30.0 ConfID: 4777870 CauseID: 1348424194 OtherID: 5507244, 1377672282 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 ) DOI: 10.1006/inco.2002.3173(Journal) ========================================================== Created: 2015-03-21 18:16:00.0 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 ) DOI: 10.1006/inco.2002.3170(Journal) ========================================================== Created: 2015-03-21 14:15:37.0 ConfID: 4834583 CauseID: 1377660838 OtherID: 4772767, 1377672219 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 ) DOI: 10.1006/inco.2002.3172(Journal) ========================================================== Created: 2012-02-11 22:33:30.0 ConfID: 4834584 CauseID: 1348424194 OtherID: 5507244, 1377672282 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 ) DOI: 10.1006/inco.2002.3164(Journal) ========================================================== Created: 2015-03-21 18:16:00.0 ConfID: 4835085 CauseID: 1377672214 OtherID: 4772767 JT: Information and Computation MD: Cardelli, 177 ,2,160,2002,Types for the Ambient Calculus DOI: 10.1006/inco.2001.3121(Journal) (4835085-N ) DOI: 10.1016/S0890-5401(01)93121-9(Journal) ========================================================== Created: 2015-03-21 09:47:30.0 ConfID: 4847161 CauseID: 1377644345 OtherID: 5507244, 1377672291 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 ) DOI: 10.1006/inco.2002.3027(Journal) ========================================================== Created: 2015-06-22 09:48:44.0 ConfID: 4898599 CauseID: 1381042103 OtherID: 226590920 JT: Information and Computation MD: null, 168 ,1,93,2001,Papers to Appear in Forthcoming Issues DOI: 10.1006/inco.2001.3061(Journal) (4898599-N ) DOI: 10.1016/S0890-5401(01)93061-5(Journal) ========================================================== Created: 2015-03-21 18:16:27.0 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 ) DOI: 10.1006/inco.2002.3176(Journal) ========================================================== Created: 2015-02-05 00:31:16.0 ConfID: 4901984 CauseID: 1376126401 OtherID: 1377697860, 226366891 JT: Information and Computation MD: null, 173 ,2,227,2002,Papers to Appear in Forthcoming Issues DOI: 10.1006/inco.2002.3141(Journal) (4901984-N ) DOI: 10.1016/S0890-5401(02)93141-X(Journal) ========================================================== Created: 2015-03-21 18:16:33.0 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 ) DOI: 10.1006/inco.2002.3175(Journal) ========================================================== Created: 2015-03-21 14:15:37.0 ConfID: 4914378 CauseID: 1377660844 OtherID: 4772767, 1377672214 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 ) DOI: 10.1006/inco.2002.3171(Journal) ========================================================== Created: 2015-03-21 09:47:30.0 ConfID: 4921302 CauseID: 1377644347 OtherID: 5507244, 1377672292 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 ) DOI: 10.1006/inco.2002.3162(Journal) ========================================================== Created: 2012-02-11 22:33:30.0 ConfID: 4923451 CauseID: 1348424194 OtherID: 5507244, 1377672282 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 ) DOI: 10.1006/inco.2002.3174(Journal)