Higher-Order and Semantic Unification* Nachum Dershowitz, (2009)
Abstract. We provide a complete system of transformation rules for semantic unification with respect to theories defined by convergent rewrite systems. We show that this standard unification...
Matching and Uni cation in Rewrite Theories (2007)
Subrata Mitra, Nachum Dershowitz
\Semantic uni cation " is the process of generating a basis set of substitutions (of terms for variables) that makes two given terms equal in a speci ed theory. Semantic uni cation is an...
Subrata Mitra, Nachum Dershowitz
\Semantic matching " is the process of generating a basis set of substitutions (of terms for variables) that makes one term equal to another in a speci ed theory. We restrict ourselves here...
Nachum Dershowitz, Subrata Mitra, G. Sivakumar
We describe decision procedures for certain classes of semantic matching problems, where the equational theory with respect to which the semantic matching is performed has a convergent rewrite...
Nachum Dershowitz, Subrata Mitra
An algorithm is given for inverting functions de#ned by left-linear ground convergent rewrite systems, with left sides restricted in depth and right sides not having de#ned symbols at the top. 1...
Nachum Dershowitz, Subrata Mitra
An algorithm is given for inverting functions defined by left-linear ground convergent rewrite systems, with left sides restricted in depth and right sides not having defined symbols at the top. 1...
Matching and Unification in Rewrite Theories (2007)
Subrata Mitra, Nachum Dershowitz
"Semantic unification" is the process of generating a basis set of substitutions (of terms for variables) that makes two given terms equal in a specified theory. Semantic unification is an...
Ivory, James (realización), Jhabvala, Ruth Prawer (guión), Mitra, Subrata (fotografía), Khetle, Raja Ram (montaje), Khan, Ustad Ali Akbar (música), Kapoor, Shashi (actuación), ...
0-78002-875-9
Ivory, James (realización), Jhabvala, Ruth Prawer (guión), Mitra, Subrata (fotografía), Bose, Amit (montaje), Ray, Satyajit (música), Kapoor, Shashi (actuación), ...
0-78002-874-0
Application of Concurrent Engineering in New Automobile Design (2002)
Subrata Mitra And, Subrata Mitra, Bani K Sinha
Concurrent Engineering (CE) has gained importance worldwide in the light of increased competition and globalisation. CE provides a competitive advantage to companies by helping them reduce the...
Jeopardy: Inverting Mildly Deep Definitions (1999)
Nachum Dershowitz, Subrata Mitra
We consider functions defined by ground-convergent left-linear rewrite systems. By restricting the depth of left sides and disallowing defined symbols at the top of right sides, we obtain an...
Semantic Matching in Rewrite Theories (1997)
Subrata Mitra, Nachum Dershowitz
"Semantic matching" is the process of generating a basis set of substitutions (of terms for variables) that makes one term equal to another in a specified theory. We restrict ourselves here...
Semantic Unification for Convergent Systems (1994)
Subrata Mitra, Nachum Dershowitz Advisor
Equation solving is the process of nding a substitution of terms for variables that makes two terms equal in a given theory, while semantic uni cation is the process that generates a basis set of...
Semantic Unification for Convergent Systems (1994)
ing AC-goals : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 66 5.4 Transformations for non-AC goals : : : : : : : : : : : : : : : : : : : : : : : : : : 67 5.5 Transformation rules...
Decidable Matching for Convergent Systems (1992)
Nachum Dershowitz, Subrata Mitra, G. Sivakumar
We describe decision procedures for certain classes of semantic matching problems, where the equational theory with respect to which the semantic matching is performed has a convergent rewrite...
Path orderings for termination of associative-commutative rewriting (1992)
Nachum Dershowitz, Subrata Mitra
We show that a simple, and easily implementable, restriction on the recursive path ordering, which we call the "binary path condition, " suffices for establishing termination of extended...
Photocopy.
Ivory, James (realización), Jhabvala, Ruth Prawer (guión), Mitra, Subrata (fotografía), Bose, Amit (montaje), Ray, Satyajit (música), Kapoor, Shashi (actuación), ...
El mundo de Apu = Apu sansar (1959)
Ray, Satyajit (realización), Ray, Satyajit (guión), Mitra, Subrata (fotografía), Dutta, Dulal (montaje), Shankar, Ravi (música), Chatterjee, Soumitra (actuación), ...
Basado en: Aparajito, de Bibhuti Bhushan Banerji
Ivory, James (realización), Jhabvala, Ruth Prawer (guión), Mitra, Subrata (fotografía), Khetle, Raja Ram (montaje), Khan, Ustad Ali Akbar (música), Kapoor, Shashi (actuación), ...
Basado en: The Householder, de Ruth Prawer Jhabvala
Ray, Satyajit (realización), Ray, Satyajit (guión), Mitra, Subrata (fotografía), Dutta, Dulal (montaje), Shankar, Ravi (música), Chatterjee, Soumitra (actuación), ...
Basado en: Aparajito, de Bibhuti Bhushan Banerji
Ray, Satyajit (realización), Ray, Satyajit (guión), Mitra, Subrata (fotografía), Dutta, Dulal (montaje), Shankar, Ravi (música), Bannerjee, Kanu (actuación), ...
Basado en: Aparajito, de Bibhuti Bhushan Banerji
Ray, Satyajit (realización), Ray, Satyajit (guión), Mitra, Subrata (fotografía), Dutta, Dulal (montaje), Shankar, Ravi (música), Bannerjee, Kanu (actuación), ...
Basado en: Aparajito, de Bibhuti Bhushan Banerji
Pather Panchali = Pather Panchali (1955)
Ray, Satyajit (realización), Ray, Satyajit (guión), Mitra, Subrata (fotografía), Dutta, Dulal (montaje), Shankar, Ravi (música), Bannerjee, Kanu (actuación), ...
Basado en: Pather Panchali, de Bibhuti Bhushan Banerji
Ray, Satyajit (realización), Ray, Satyajit (guión), Mitra, Subrata (fotografía), Dutta, Dulal (montaje), Shankar, Ravi (música), Bannerjee, Kanu (actuación), ...
Basado en: Pather Panchali, de Bibhuti Bhushan Banerji
AN ALGORITHM FOR THE GENERALIZED VEHICLE ROUTING PROBLEM WITH BACKHAULING
The Vehicle Routing Problem with Backhauling deals with the supply of finished goods from a depot to a number of delivery points, and picking up returnable items and bringing them back to the depot...
Supply Chain Issues In The Indian Poultry-meat Industry: The Case Of a Vertically-integrated Farm
The world poultry-meat industry is growing the fastest among all the meat categories due to increasing concerns for health, safety, convenience and variety, and price-competitiveness. Issues related...
Analysis of a two-echelon inventory system with returns
Product take-back and recovery activities have grown in recent times as a consequence of stringent government regulations and increased customer awareness of environmental pollution. Inventory...
Revenue management for remanufactured products
Revenue management for remanufactured products has not been addressed in literature so far. There could be more than one quality level of the recovered products, which would draw different prices in...
Echelon stock based continuous review (R,Q) policy for fast moving items
Mitra, Subrata, Chatterjee, A. K.
The superior performance of echelon stock based policies for multi-stage serial and assembly inventory systems has been well established in literature. De Bodt and Graves [1] were the first to...