Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ozan Kahramanogullari
Deep Proof Search in MELL
Related publications
Deep Network Guided Proof Search
Proof Search in Lax Logic
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Extracting Proofs From Tabled Proof Search
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Functional Pearl: The Proof Search Monad
On the Decision Problem for MELL
Theoretical Computer Science
Computer Science
Theoretical Computer Science
A Formal Proof of the Expressiveness of Deep Learning
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Non-Commutativity and MELL in the Calculus of Structures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Game-Tree Search Using Proof Numbers: The First Twenty Years
ICGA Journal
Computational Mechanics
Computer Graphics
Computer-Aided Design
Computer Science
Human-Computer Interaction
