Cylindrification

In computability theory a cylindrification is a construction that associates a cylindric numbering to each numbering. The concept was first…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2018

Confluence is a decidable property of ground rewrite systems. We present a formalization effort in Isabelle/HOL of the decision…

2009

We describe the classes of operations closed under permutation of variables, addition of dummy variables and composition in terms…

2002

This paper is concerned with the type analysis of logic programs where, by type, we mean a property closed under instantiation…

1992

Electronic and mechanical properties of axially extended, hollow, graphitic cylinders grown in static electric field from…

1982