Inference-Proof View Update Transactions With Forwarded Refreshments

Journal of Computer Security - Netherlands
doi 10.3233/jcs-2011-0420
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IOS Press

Related search

Update by Means of Inference Rules

The Journal of Logic Programming
1997English

The View Update Problem for XML

2010English

A Proof Theoretic View of Constraint Programming

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1998English

Embedded Adaptive Neuro Fuzzy Inference System With Hardware Implemented Real Time Parameter Update

MACRo 2015
2015English

Controlled Query Evaluation and Inference-Free View Updates

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

On the Relative Proof Complexity of Deep Inference via Atomic Flows

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

The Statistics of Causal Inference: A View From Political Methodology

Political Analysis
SociologyInternational RelationsPolitical Science
2015English

Proof-Carrying Code With Untrusted Proof Rules

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Update Operators for Inconsistent Query Answering: A New Point of View

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy