Semantic Scholar uses AI to extract papers important to this topic.
terricolous and saxicolous species of the genera Aspicilia A. Massal. and Circinaria Link (Megasporaceae, Pertusariales… Expand The application of in-feed antibiotic growth promoters in livestock diet threatens consumer health and has arisen into a… Expand We re-express our theorem on the strong-normalisation of display calculi as a theorem about the well-foundedness of a certain… Expand Wireless sensor networks (WSNs) are becoming an increasingly important technology that will be used in a variety of applications… Expand We propose some global constraints for lexicographic orderings on vectors of variables. These constraints are very useful for… Expand Strongly convergent reduction is the fundamental notion of reduction in infinitary orthogonal term rewriting systems (OTRSs). For… Expand It is well known that the ordering of the unknowns can have a significant effect on the convergence of preconditioned conjugate… Expand A common tool for proving the termination of programs is the well-founded set, a set ordered in such a way as to admit no… Expand A common tool for proving the termination of programs is the <italic>well-founded set</italic>, a set ordered in such a way as to… Expand In computer-aided design for large systems, the efficient solution of large sparse systems of linear equations is important. We… Expand