Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by J.S. Hodas
Logic Programming in a Fragment of Intuitionistic Linear Logic
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Related publications
Natural Deduction for Intuitionistic Linear Logic
Annals of Pure and Applied Logic
Logic
Abstract Categorial Parsing as Linear Logic Programming
Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems
Proceedings - IEEE International Conference on Robotics and Automation
Control
Systems Engineering
Electronic Engineering
Electrical
Artificial Intelligence
Software
A Semantic Hierarchy for Intuitionistic Logic
Indagationes Mathematicae
Mathematics
Logic Programming
An Active-Constraint Logic for Non-Linear Programming
Optimal Control Applications and Methods
Control
Systems Engineering
Applied Mathematics
Optimization
Software
Quantum Logic in the Framework of Linear Logic
Annals of the Japan Association for Philosophy of Science
Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming
Machine Learning
Artificial Intelligence
Software
Closures and Modules Within Linear Logic Concurrent Constraint Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
