Publication:4875865
From MaRDI portal
zbMath0849.68010MaRDI QIDQ4875865
Pierre Deransart, Jan Małuszyński
Publication date: 25 April 1996
Related Items
Termination of constraint logic programs, Logic + control: On program construction and verification, A backward slicing algorithm for Prolog, Modules and specifications, On Correctness and Completeness of an n Queens Program, A relaxed condition for avoiding the occur-check, S-semantics -- an example, Proving completeness of logic programs with the cut, On the complexity of regular-grammars with integer attributes, Proof methods of declarative properties of definite programs, Constrained dependencies, Efficient reconfigurable embedded parsers, Case injected genetic algorithms for traveling salesman problems, Evolution of rule-based programs, Model-based computing: Developing flexible machine control software, Set constraints with intersection, Synchronized Regular Expressions, On Completeness of Logic Programs