Observable Semantics for Constraint Logic Programs
From MaRDI portal
Publication:4763533
DOI10.1093/LOGCOM/5.2.133zbMATH Open0823.68018OpenAlexW2056640187MaRDI QIDQ4763533FDOQ4763533
Authors: Maurizio Gabbrielli, Giovanna M. Dore, Giorgio Levi 
Publication date: 17 April 1995
Published in: Journal Of Logic And Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/7b4aa3403ad68513b4e8be57f70e8c6d433f8580
Recommendations
- The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
- scientific article; zbMATH DE number 970715
- Theoretical Foundations and Semantics of Logic Programming
- Generalized semantics and abstract interpretation for constraint logic programs
- Observable behaviors and equivalences of logic programs
Cited In (14)
- Formal semantics of visual occam
- An algebraic perspective of constraint logic programming
- Observational Semantics for Dynamic Logic with Binders
- A semantics for modular general logic programs
- Title not available (Why is that?)
- A new generic scheme for functional logic programming with constraints
- A theory of observables for logic programs
- Observable behaviors and equivalences of logic programs
- A declarative semantics for CLP with qualification and proximity
- Automated Reasoning with Analytic Tableaux and Related Methods
- Constraint logic programming with dynamic scheduling: A semantics based on closure operators
- Proof-search in intuitionistic logic based on constraint satisfaction
- Transformations of CLP modules
- A hierarchy of semantics for normal constraint logic programs
This page was built for publication: Observable Semantics for Constraint Logic Programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4763533)
