{"title":"A Functional System with Transfinitely Defined Types","authors":"M. Yasugi, S. Hayashi","doi":"10.1007/BFb0032393","DOIUrl":"https://doi.org/10.1007/BFb0032393","url":null,"abstract":"","PeriodicalId":338554,"journal":{"name":"Logic, Language and Computation","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114233173","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Well-Ordering of Algebras and Kruskal's Theorem","authors":"R. Hasegawa","doi":"10.1007/BFb0032399","DOIUrl":"https://doi.org/10.1007/BFb0032399","url":null,"abstract":"","PeriodicalId":338554,"journal":{"name":"Logic, Language and Computation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127836840","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Simple Proof of the Genericity Lemma","authors":"M. Takahashi","doi":"10.1007/BFb0032397","DOIUrl":"https://doi.org/10.1007/BFb0032397","url":null,"abstract":"","PeriodicalId":338554,"journal":{"name":"Logic, Language and Computation","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125341364","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Thirty four Comparisons are Required to Sort 13 Items","authors":"T. Kasai, S. Sawato, S. Iwata","doi":"10.1007/BFb0032405","DOIUrl":"https://doi.org/10.1007/BFb0032405","url":null,"abstract":"","PeriodicalId":338554,"journal":{"name":"Logic, Language and Computation","volume":"70 25","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131875037","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
求助内容：
应助结果提醒方式：