Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ekaterina Vostrikova
Compositional Analysis for Clausal Exceptives
Semantics and Linguistic Theory
Related publications
Rewrite Methods for Clausal and Non-Clausal Theorem Proving
Compositional and Local Livelock Analysis for CSP
Information Processing Letters
Signal Processing
Computer Science Applications
Information Systems
Theoretical Computer Science
Abstraction Techniques for Compositional State-Based Scheduling Analysis
Compositional Analysis of Authentication Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Applying GSATto Non-Clausal Formulas
Journal of Artificial Intelligence Research
Artificial Intelligence
Propositional Clausal Defeasible Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Clausal Resolution Method for Branching-Time Logic ECTL+
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
A Satisfiability Tester for Non-Clausal Propositional Calculus
Generating Clausal Coordinate Ellipsis Multilingually
