Constraints in computational logics. 1st international conference, CCL '94, Munich, Germany, September 7--9, 1994. Proceedings (Q1339492)

The articles of mathematical interest will be reviewed individually. Indexed articles: \textit{Lynch, Christopher}, Local simplification, 3-18 [Zbl 1495.03015] \textit{Barth, Peter}, Simplifying clausal satisfiability problems, 19-33 [Zbl 1495.68156] \textit{Uribe, Tomás E.; Stickel, Mark E.}, Ordered binary decision diagrams and the Davis-Putnam procedure, 34-49 [Zbl 1495.68202] \textit{Smolka, Gert}, A foundation for higher-order concurrent constraint programming, 50-72 [Zbl 1495.68044] \textit{Nielson, Flemming; Riis Nielson, Hanne}, Constraints for polymorphic behaviours of concurrent ML, 73-88 [Zbl 1495.68028] \textit{Niehren, Joachim; Smolka, Gert}, A confluent relational calculus for higher-order programming with constraints, 89-104 [Zbl 1495.68043] \textit{Qian, Zhenyu; Wang, Kang}, Modular AC unification of higher-order patterns, 105-120 [Zbl 1495.03016] \textit{Lugiez, D.}, Higher order disunification: some decidable cases, 121-135 [Zbl 1495.03014] \textit{Boudet, Alexandre; Contejean, Evelyne}, ``Syntactic'' AC-unification, 136-151 [Zbl 1495.03012] \textit{Michaylov, Spiro}, Repeated redundant inequalities in constraint logic programming, 154-169 [Zbl 1495.68032] \textit{Fujio, Tsutsumi}, An efficient algorithm of logic programming with constraint hierarchy, 170-182 [Zbl 1495.68031] \textit{Codognet, Philippe; Nardiello, Giuseppe}, Path consistency in clp(FD), 201-216 [Zbl 1495.68030] \textit{Hense, Andreas V.; Smolka, Gert}, A record calculus with principal types, 219-236 [Zbl 1495.68027] \textit{Prehofer, Christian}, On modularity in term rewriting and narrowing, 253-268 [Zbl 1495.68117] \textit{Avenhaus, Jürgen; Loría-Sáenz, Carlos}, Higher order conditional rewriting and narrowing, 269-284 [Zbl 1495.68107] \textit{Bachmair, Leo; Ganzinger, Harald}, Buchberger's algorithm: a constraint-based completion procedure, 285-301 [Zbl 1495.68249] \textit{Charatonik, Witold}, Set constraints in some equational theories, 304-319 [Zbl 1495.68040] \textit{Backofen, Rolf; Treinen, Ralf}, How to win a game with features, 320-335 [Zbl 1495.68045] \textit{Gilleron, Rémi; Tison, Sophie; Tommasi, Marc}, Some new decidability results on positive and negative set constraints, 336-351 [Zbl 1495.03010] \textit{Johann, Patricia; Socher-Ambrosius, Rolf}, Solving simplification ordering constraints, 352-367 [Zbl 1495.03011]