A Sound and Complete Logic for Algebraic Effects

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-030-17127-8_22
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Differential-Algebraic Dynamic Logic for Differential-Algebraic Programs

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2008English

Expressive Power and Complexity in Algebraic Logic

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1997English

A Sound and Complete Abstraction for Reasoning About Parallel Prefix Sums

2014English

Remarks on an Algebraic Semantics for Paraconsistent Nelson's Logic

Manuscrito
Philosophy
2011English

Many-Valued Logic: Beyond Algebraic Semantics

Soft Computing
GeometrySoftwareTheoretical Computer ScienceTopology
2012English

A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic

Journal of Artificial Intelligence Research
Artificial Intelligence
1994English

Designing Dependable Logic Controllers Using Algebraic Specifications

IFAC Proceedings Volumes
2004English

Algebraic Logic. IV. Equality in Polyadic Algebras

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1957English

A Sound and Complete Shared-Variable Concurrency Model for Multi-Threaded Java Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy