Report date: Nov 6,2024 Conflict count: 361874 Publisher: Elsevier - Academic Press Title count: 119 Conflict count: 1063 ========================================================== Created: 2015-03-21 09:47:30 ConfID: 4577316 CauseID: 1377644352 OtherID: 1377672293 JT: Information and Computation MD: Ulidowski,178,1,180,2002,Ordered SOS Process Languages for Branching and Eager Bisimulations DOI: 10.1006/inco.2002.3161(Journal) (4577316-N) ========================================================== Created: 2012-02-11 22:33:30 ConfID: 4923451 CauseID: 1348424194 OtherID: 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.1006/inco.2002.3174(Journal) (4923451-N) ========================================================== Created: 2012-02-11 22:28:32 ConfID: 4628957 CauseID: 1348411183 OtherID: 1377709021 JT: Information and Computation MD: ,153,2,249,1999,Author Index for Volume 153 DOI: 10.1006/inco.1999.2839(Journal) (4628957-N) ========================================================== Created: 2015-03-21 18:16:27 ConfID: 4901961 CauseID: 1377672271 JT: Information and Computation MD: Lucas,178,1,294,2002,Context-Sensitive Rewriting Strategies DOI: 10.1006/inco.2002.3176(Journal) (4901961-N) ========================================================== Created: 2015-02-05 00:31:16 ConfID: 4901984 CauseID: 1376126401 OtherID: 1377697860 JT: Information and Computation MD: ,173,2,227,2002,Papers to Appear in Forthcoming Issues DOI: 10.1006/inco.2002.3141(Journal) (4901984-N) ========================================================== Created: 2015-03-21 18:16:00 ConfID: 4822119 CauseID: 1377672214 JT: Information and Computation MD: Ito,177,2,121,2002,GUEST EDITORIAL DOI: 10.1006/inco.2002.3170(Journal) (4822119-N) ========================================================== Created: 2015-03-21 18:16:00 ConfID: 4508684 CauseID: 1377672219 JT: Information and Computation MD: ,177,2,242,2002,Author Index for Volume 177 DOI: 10.1006/inco.2002.3190(Journal) (4508684-N) ========================================================== Created: 2015-03-21 18:16:33 ConfID: 4914192 CauseID: 1377672292 JT: Information and Computation MD: Pnueli,178,1,279,2002,The Small Model Property: How Small Can It Be? DOI: 10.1006/inco.2002.3175(Journal) (4914192-N) ========================================================== Created: 2015-03-21 14:15:37 ConfID: 4914378 CauseID: 1377660844 OtherID: 1377672214 JT: Information and Computation MD: Kobayashi,177,2,122,2002,A Type System for Lock-Free Processes DOI: 10.1006/inco.2002.3171(Journal) (4914378-N) ========================================================== Created: 2015-03-21 09:47:30 ConfID: 4603243 CauseID: 1377644352 OtherID: 1377672293 JT: Information and Computation MD: Kurata,178,1,1,2002,Intersection and Singleton Type Assignment Characterizing Finite Böhm-Trees DOI: 10.1006/inco.2002.2907(Journal) (4603243-N) ========================================================== Created: 2012-02-11 22:33:30 ConfID: 4834584 CauseID: 1348424194 OtherID: 1377672282 JT: Information and Computation MD: Vyugin,178,1,241,2002,On Complexity of Easy Predictable Sequences DOI: 10.1006/inco.2002.3164(Journal) (4834584-N) ========================================================== Created: 2015-03-21 14:15:37 ConfID: 4834583 CauseID: 1377660838 OtherID: 1377672219 JT: Information and Computation MD: Merro,177,2,195,2002,Mobile Objects as Mobile Processes DOI: 10.1006/inco.2002.3172(Journal) (4834583-N) ========================================================== Created: 2015-02-05 00:31:16 ConfID: 4591021 CauseID: 1376126401 OtherID: 1377697860 JT: Information and Computation MD: ,173,2,228,2002,Author Index for Volume 173 DOI: 10.1006/inco.2002.3142(Journal) (4591021-N) ========================================================== Created: 2012-02-11 22:31:14 ConfID: 4652578 CauseID: 1348417701 OtherID: 1695695 JT: Information and Computation MD: ,141,2,205,1998,Author Index for Volume 141 DOI: 10.1006/inco.1998.2719(Journal) (4652578-N) ========================================================== Created: 2015-03-21 18:16:27 ConfID: 4603425 CauseID: 1377672271 JT: Information and Computation MD: Best,178,1,44,2002,The Box Algebra=Petri Nets+Process Expressions DOI: 10.1006/inco.2002.3117(Journal) (4603425-N) ========================================================== Created: 2015-03-21 09:47:30 ConfID: 4847161 CauseID: 1377644345 OtherID: 1377672291 JT: Information and Computation MD: Durand,178,1,12,2002,Linear Time and the Power of One First-Order Universal Quantifier DOI: 10.1006/inco.2002.3027(Journal) (4847161-N) ========================================================== Created: 2015-03-21 18:16:00 ConfID: 4835085 CauseID: 1377672214 JT: Information and Computation MD: Cardelli,177,2,160,2002,Types for the Ambient Calculus DOI: 10.1006/inco.2001.3121(Journal) (4835085-N) ========================================================== Created: 2015-06-22 09:48:44 ConfID: 4898599 CauseID: 1381042103 JT: Information and Computation MD: ,168,1,93,2001,Papers to Appear in Forthcoming Issues DOI: 10.1006/inco.2001.3061(Journal) (4898599-N) ========================================================== Created: 2015-03-21 09:47:30 ConfID: 4616142 CauseID: 1377644347 OtherID: 1377672292 JT: Information and Computation MD: Honsell,178,1,23,2002,Prelogical Relations DOI: 10.1006/inco.2002.3115(Journal) (4616142-N) ========================================================== Created: 2015-03-21 09:47:30 ConfID: 4921302 CauseID: 1377644347 OtherID: 1377672292 JT: Information and Computation MD: Arias,178,1,214,2002,Learning Closed Horn Expressions DOI: 10.1006/inco.2002.3162(Journal) (4921302-N) ========================================================== Created: 2015-03-21 18:16:33 ConfID: 4706294 CauseID: 1377672291 JT: Information and Computation MD: Neergaard,178,1,149,2002,Conservation and Uniform Normalization in Lambda Calculi with Erasing Reductions DOI: 10.1006/inco.2002.3153(Journal) (4706294-N) ========================================================== Created: 2012-02-11 22:33:30 ConfID: 4777870 CauseID: 1348424194 OtherID: 1377672282 JT: Information and Computation MD: Goldmann,178,1,253,2002,The Complexity of Solving Equations over Finite Groups DOI: 10.1006/inco.2002.3173(Journal) (4777870-N) ========================================================== Created: 2015-03-21 23:50:13 ConfID: 4706198 CauseID: 1377690077 JT: Information and Computation MD: ,154,2,167,1999,Author Index for Volume 154 DOI: 10.1006/inco.1999.2840(Journal) (4706198-N)