Conferences in DBLP
John W. Lloyd Practical Advtanages of Declarative Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Nitsche Analysis and Refinement of Constraint Answer Sets in a Planning System. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Mascellani , Dino Pedreschi Proving termination of Prolog programs. [Citation Graph (0, 0)][DBLP ] Conf ] María Alpuente , Moreno Falaschi , María José Ramis , Germán Vidal A Compositional Semantics for Conditional Term Rewriting Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Giacobazzi Characterizing Abstract Program Properties by Abduction. [Citation Graph (0, 0)][DBLP ] Conf ] Baudouin Le Charlier , Sabina Rossi , Pascal Van Hentenryck An Abstract Interpretation Framework for (almost) Full Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Volpe Semantics of Concurrent Logic Programming as Uniform Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Salvador Lucas , Javier Oliver El lambda-calculo Etiquetado Paralelo (LCEP). [Citation Graph (0, 0)][DBLP ] Conf ] Moreno Falaschi , Maurizio Gabbrielli , Kim Marriott , Catuscia Palamidessi Confluence and Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP ] Conf ] F. Buffoli Split Resolution Tailoring Tableaux to Refute Clause Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Comini , Giorgio Levi An Algebraic Theory of Observables. [Citation Graph (0, 0)][DBLP ] Conf ] Maurizio Martelli , Alessandro Messora , Catuscia Palamidessi , Alain Hui-Bon-Hoa Fixpoint Semantics of L lambda. [Citation Graph (0, 0)][DBLP ] Conf ] Maurizio Proietti , Alberto Pettorossi Total correctness of a goal replacement rule based on the unfold/fold proof method. [Citation Graph (0, 0)][DBLP ] Conf ] Sandro Etalle , Maurizio Gabbrielli Modular Transformations of CLP Programs. [Citation Graph (0, 0)][DBLP ] Conf ] K. Bohlmann , Rita Loogen , Yolanda Ortega-Mallén Towards a Functional Process Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Ramiro Varela El modelo RPS para la gestion del paralelismo AND independiente en programas logicos. [Citation Graph (0, 0)][DBLP ] Conf ] José E. Gallardo , P. Guerrero , Blas C. Ruiz Monadas y Procesos Funcionales Comunicantes. [Citation Graph (0, 0)][DBLP ] Conf ] Francisco Bueno Methods for Automatic Compile-time Parallelization of Logic Programs: the MEL, CDG and UDG Algorithms Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Nai-Wei Lin Optimizing Logic Programs with Finite Domain Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Bagnara On the Detection of Implicit and Redundant Numeric Constraint in CLP Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Codish , Bart Demoen Deriving Polymorphic Type Dependencies for Logic Programs using Multiple Incarnations of Prop. [Citation Graph (0, 0)][DBLP ] Conf ] María-del-Mar Gallardo , José M. Troya Granularity Analysis of Concurrent Logic Languages based on Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Gilberto Filé , Francesco Ranzato Improving Abstract Interpretations by Systematic Lifting to the Powerset. [Citation Graph (0, 0)][DBLP ] Conf ] Agostino Cortesi , Gilberto Filé , William H. Winsborough The Quotient of an Abstract Interpretation for Comparing Static Analyses. [Citation Graph (0, 0)][DBLP ] Conf ] Filomena Ferrucci , Giuliano Pacini , Maria I. Sessa Loop Checking for Reduced SLD-derivations. [Citation Graph (0, 0)][DBLP ] Conf ] Agostino Dovier , Eugenio G. Omodeo , Alberto Policriti , Gianfranco Rossi Solving Systems of Equations over Hypersets. [Citation Graph (0, 0)][DBLP ] Conf ] Termination is Language-Independent. [Citation Graph (, )][DBLP ] Anastasia Analyti , Sakti Pramanik Semantics for Reasoning with Contradictory Extended Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco Buccafurri , Nicola Leone , Pasquale Rullo A non-deterministic semantics for ordered logic programs. [Citation Graph (0, 0)][DBLP ] Conf ] Roberta Gori , Giorgio Levi Finite Failure is AND-Compositional. [Citation Graph (0, 0)][DBLP ] Conf ] 