Combining Transactions and Automatic Repairs

Journal of Logic and Computation - United Kingdom
doi 10.1093/logcom/exv006
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Oxford University Press (OUP)

Related search

Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling

Theory and Application of Multi-Formalism Modeling
English

An Automatic Procedure for Combining Digital Images and Laser Scanner Data

ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences
2012English

Combining Semantic Tools for Automatic Evaluation of Alternative Texts

2019English

Combining Stereo and Time-Of-Flight Images With Application to Automatic Plant Phenotyping

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Ethico-Aesthetic Repairs

Third Text
Visual ArtsPerforming ArtsCultural Studies
2018English

Combining Global and Local Optimization Techniques for Automatic History Matching Production and Seismic Data

2001English

Transactions

Bulletin of the Agricultural Chemical Society of Japan
1935English

Transactions

Bulletin of the Agricultural Chemical Society of Japan
1939English

Combining Static and Dynamic Analysis for Automatic Identification of Precise Access-Control Policies

Twenty-Third Annual Computer Security Applications Conference (ACSAC 2007)
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy