Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germant, September 7-9, 1994 1994
    DBLP: db/conf/ccl/ccl94.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 26  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Jürgen Avenhaus, Carlos Loría-Sáenz.
    Higher Order Conditional Rewriting and Narrowing.
    Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germant, September 7-9, 1994 1994 (0) 1994
    Conference paper
    Leo Bachmair, Harald Ganzinger.
    Buchberger's Algorithm: A Constraint-Based Completion Procedure.
    Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germant, September 7-9, 1994 1994 (0) 1994
    Conference paper
    Rolf Backofen, Ralf Treinen.
    How to Win a Game with Features.
    Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germant, September 7-9, 1994 1994 (0) 1994
    Conference paper
    Peter Barth.
    Simplifying Clausal Satisfiability Problems.
    Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germant, September 7-9, 1994 1994 (0) 1994
    Conference paper
    Renate Beckmann, Ulrich Bieker, Ingolf Markhof.
    Application of Constraint Logic Programming for VLSI CAD Tools.
    Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germant, September 7-9, 1994 1994 (0) 1994
    Conference paper
    Alexandre Boudet, Evelyne Contejean.
    "Syntactic" AC-Unification.
    Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germant, September 7-9, 1994 1994 (0) 1994
    Conference paper
    Witold Charatonik.
    Set Constraints in Some Equational Theories.
    Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germant, September 7-9, 1994 1994 (0) 1994
    Conference paper
    Philippe Codognet, Giuseppe Nardiello.
    Path Consistency in clp(FD).
    Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germant, September 7-9, 1994 1994 (0) 1994
    Conference paper
    Max Dauchet.
    Symbolic Constraints and Tree Automata.
    Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germant, September 7-9, 1994 1994 (0) 1994
    Conference paper
    Rémi Gilleron, Sophie Tison, Marc Tommasi.
    Some new Decidability Results on Positive and Negative Set Constraints.
    Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germant, September 7-9, 1994 1994 (0) 1994
    Show item 1 to 10 of 26  

    Your query returned 26 matches in the database.