Discussion on: ``On Aizerman's type problem for neutral type systems
From MaRDI portal
(Redirected from Publication:397433)
Discussion on: ``On Aizerman's type problem for neutral type systems''
Discussion on: ``On Aizerman's type problem for neutral type systems''
Recommendations
- On Aizerman's type problem for neutral type systems
- A Theory of Ambiguous Types and Its Axiomatizations
- scientific article; zbMATH DE number 2085167
- In the Search of a Naive Type Theory
- scientific article; zbMATH DE number 417312
- scientific article; zbMATH DE number 2064184
- Remarks on the equational theory of non-normalizing pure type systems
- Remarks on the equational theory of non-normalizing pure type systems
- On type inference in the intersection type discipline
- On the Strength of Proof-Irrelevant Type Theories
Cites work
- scientific article; zbMATH DE number 3861007 (Why is no real title available?)
- scientific article; zbMATH DE number 3435368 (Why is no real title available?)
- scientific article; zbMATH DE number 3210263 (Why is no real title available?)
- scientific article; zbMATH DE number 3100554 (Why is no real title available?)
- scientific article; zbMATH DE number 3100556 (Why is no real title available?)
- scientific article; zbMATH DE number 3100566 (Why is no real title available?)
- On absolute (robust) stability: slope restrictions andstability multipliers
- On the asymptotic behavior of the solutions of an integro-differential equation
- Time-delay systems with remarkable structural properties
This page was built for publication: Discussion on: ``On Aizerman's type problem for neutral type systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q397433)