{"title":"Fifty years of the spectrum problem: survey and new results","authors":"Arnaud Durand, N. Jones, J. Makowsky, Malika More","doi":"10.2178/bsl.1804020","DOIUrl":null,"url":null,"abstract":"The present disclosure involves a method of identifying animals involving the use of a universal identification scheme capable of identifying individual animals anywhere in the world such that data may collected for the animals over their entire life cycle.","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"61 1","pages":"505-553"},"PeriodicalIF":0.7000,"publicationDate":"2009-07-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"23","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Bulletin of Symbolic Logic","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.2178/bsl.1804020","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"LOGIC","Score":null,"Total":0}
引用次数: 23
Abstract
The present disclosure involves a method of identifying animals involving the use of a universal identification scheme capable of identifying individual animals anywhere in the world such that data may collected for the animals over their entire life cycle.
期刊介绍:
The Bulletin of Symbolic Logic was established in 1995 by the Association for Symbolic Logic to provide a journal of high standards that would be both accessible and of interest to as wide an audience as possible. It is designed to cover all areas within the purview of the ASL: mathematical logic and its applications, philosophical and non-classical logic and its applications, history and philosophy of logic, and philosophy and methodology of mathematics.