Foundations for Decision Problems in Separation Logic With General Inductive Predicates

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-54830-7_27
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Effective Entailment Checking for Separation Logic With Inductive Definitions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Biabduction (And Related Problems) in Array Separation Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Foundations of Decision-Making Agents - Logic, Probability and Modality

2008English

Representing Biases for Inductive Logic Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Minimum and Maximum Predicates in Logic Programming

1991English

Quantitative Pharmacophore Models With Inductive Logic Programming

Machine Learning
Artificial IntelligenceSoftware
2006English

Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming

Machine Learning
Artificial IntelligenceSoftware
2010English

Opaque Predicates, Veiled Sets and Their Logic

Contemporary Mathematics
Mathematics
1999English

Automatic Parallelization With Separation Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy