Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Roberto Maieli
Non Decomposable Connectives of Linear Logic
Annals of Pure and Applied Logic
Logic
Related publications
A Propositional Logic of Temporal Connectives
Logic and Logical Philosophy
Philosophy
An Active-Constraint Logic for Non-Linear Programming
Optimal Control Applications and Methods
Control
Systems Engineering
Applied Mathematics
Optimization
Software
Optimizing Non-Decomposable Measures With Deep Networks
Machine Learning
Artificial Intelligence
Software
Decomposable Polynomials in Second Order Linear Recurrence Sequences
Manuscripta Mathematica
Mathematics
Quantum Logic in the Framework of Linear Logic
Annals of the Japan Association for Philosophy of Science
Causality in Linear Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Classical Linear Logic of Implications
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Logic Programming in a Fragment of Intuitionistic Linear Logic
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Linear Time Logic Control of Discrete-Time Linear Systems
IEEE Transactions on Automatic Control
Control
Systems Engineering
Computer Science Applications
Electrical
Electronic Engineering
