{"title":"一个合适的λ模型能有一个R.E.等式理论吗?","authors":"Chantal Berline","doi":"10.1142/9789812770998_0003","DOIUrl":null,"url":null,"abstract":"In apparatus comprising a plurality of hydrocyclone stages connected in cascade as a totally enclosed system, for use in the upgrading of starch or other particulate feedstock, there is provision for recycling part of the underflow stream from the final hydrocyclone stage to the preceding stage.","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"17 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2007-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Can a Proper Lambda-Model have an R.E. Equational Theory?\",\"authors\":\"Chantal Berline\",\"doi\":\"10.1142/9789812770998_0003\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In apparatus comprising a plurality of hydrocyclone stages connected in cascade as a totally enclosed system, for use in the upgrading of starch or other particulate feedstock, there is provision for recycling part of the underflow stream from the final hydrocyclone stage to the preceding stage.\",\"PeriodicalId\":212849,\"journal\":{\"name\":\"Italian Conference on Theoretical Computer Science\",\"volume\":\"17 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2007-09-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Italian Conference on Theoretical Computer Science\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1142/9789812770998_0003\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Italian Conference on Theoretical Computer Science","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1142/9789812770998_0003","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Can a Proper Lambda-Model have an R.E. Equational Theory?
In apparatus comprising a plurality of hydrocyclone stages connected in cascade as a totally enclosed system, for use in the upgrading of starch or other particulate feedstock, there is provision for recycling part of the underflow stream from the final hydrocyclone stage to the preceding stage.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
