Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ondřej Lengál
Compositional Entailment Checking for a Fragment of Separation Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Effective Entailment Checking for Separation Logic With Inductive Definitions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automatic Synthesis of Assumptions for Compositional Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Generalised State Descriptions for Strong First-Degree Entailment Logic Extensions
Humanities Bulletin of BMSTU
Induction in Compositional Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Compositional Logic for Proving Security Properties of Protocols*
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
Logic Programming in a Fragment of Intuitionistic Linear Logic
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Compositional Invariant Checking for Overlaid and Nested Linked Lists
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Logic-Based Semantic Approach to Recognizing Textual Entailment
Temporal Logic Query Checking: A Tool for Model Exploration
IEEE Transactions on Software Engineering
Software
