Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Cristina Matache
A Sound and Complete Logic for Algebraic Effects
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Differential-Algebraic Dynamic Logic for Differential-Algebraic Programs
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Expressive Power and Complexity in Algebraic Logic
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
A Sound and Complete Abstraction for Reasoning About Parallel Prefix Sums
Remarks on an Algebraic Semantics for Paraconsistent Nelson's Logic
Manuscrito
Philosophy
Many-Valued Logic: Beyond Algebraic Semantics
Soft Computing
Geometry
Software
Theoretical Computer Science
Topology
A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic
Journal of Artificial Intelligence Research
Artificial Intelligence
Designing Dependable Logic Controllers Using Algebraic Specifications
IFAC Proceedings Volumes
Algebraic Logic. IV. Equality in Polyadic Algebras
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
A Sound and Complete Shared-Variable Concurrency Model for Multi-Threaded Java Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
