A Proof Theoretic View of Constraint Programming

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-1998-34304
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IOS Press

Related search

A Model-Theoretic View on Qualitative Constraint Reasoning

Journal of Artificial Intelligence Research
Artificial Intelligence
2017English

Introduction: Proof-Theoretic Semantics

Synthese
PhilosophySocial Sciences
2006English

A New System of Proof-Theoretic Ordinal Functions

Annals of Pure and Applied Logic
Logic
1986English

Monadic Constraint Programming

Journal of Functional Programming
Software
2009English

Constraint Programming and a Usability Quest

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Proof-Theoretic Methods in Nonlinear Analysis

2019English

A Narrow View of Set Theoretic Topology

Lecture Notes in Mathematics
Number TheoryAlgebra
1977English

Stability of Major Constraint Programming

DEStech Transactions on Engineering and Technology Research
2017English

Advances in Proof-Theoretic Semantics: Introduction

Trends in Logic
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy