Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Logic

Causation Without Influence

Erkenntnis
PhilosophyLogic
2011English

Nonclassical Probability and Convex Hulls

Erkenntnis
PhilosophyLogic
2016English

Well-Definedness and Observational Equivalence for Inductive–coinductive Programs

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2019English

The Enriched Effect Calculus: Syntax and Semantics

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2012English

Iteration-Free PDL With Storing, Recovering and Parallel Composition: A Complete Axiomatization

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2015English

Accumulative Knowledge Under Bounded Resources

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2015English

Combining Transactions and Automatic Repairs

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2015English

An Equational Approach to the Merging of Argumentation Networks

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2013English

Multi-Engine ASP Solving With Policy Adaptation

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2013English

What Is a Model for a Semantically Linear -Calculus?

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy