Nonlinear algebra and Bogoliubov’s recursion
نویسندگان
چکیده
منابع مشابه
Towards Kleene Algebra with Recursion
We extend Kozen’s theory KA of Kleene Algebra to axiomatize parts of the equational theory of context-free languages, using a least fixed-point operator μ instead of Kleene’s iteration operator ∗. Although the equational theory of context-free languages is not recursively axiomatizable, there are natural axioms for subtheories KAF ⊆ KAR ⊆ KAG: respectively, these make μ a least fixed point oper...
متن کاملNormal Form in DI-Algebra with Recursion
DI-algebra is a process algebra for delay-insensitive processes. Like in most process algebras, a normal form for finite expressions can be defined. Unlike most process algebras, however, we show that we can also define a normal form for recursive expressions. This is done by first eliminating operators using the laws of the algebra and then minimizing cycles in a state graph.
متن کاملSafe recursion with higher types and BCK-algebra
In previous work the author has introduced a lambda calculus SLR with modal and linear types which serves as an extension of Bellantoni–Cook’s function algebra BC to higher types. It is a step towards a functional programming language in which all programs run in polynomial time. In this paper we develop a semantics of SLR using BCK-algebras consisting of certain polynomial-time algorithms. It ...
متن کاملLifted Relational Algebra with Recursion and Connections to Modal Logic
We propose a new formalism for specifying and reasoning about problems that involve heterogeneous “pieces of information” – large collections of data, decision procedures of any kind and complexity and connections between them. The essence of our proposal is to lift Codd’s relational algebra from operations on relational tables to operations on classes of structures (with recursion), and to add...
متن کاملElimination and Nonlinear Equations of Rees Algebra
A new approach is established to computing the image of a rational map, whereby the use of approximation complexes is complemented with a detailed analysis of the torsion of the symmetric algebra in certain degrees. In the case the map is everywhere defined this analysis provides free resolutions of graded parts of the Rees algebra of the base ideal in degrees where it does not coincide with th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical and Mathematical Physics
سال: 2008
ISSN: 0040-5779,1573-9333
DOI: 10.1007/s11232-008-0026-7