The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Unification with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1956-1975 (16) 1976-1978 (16) 1979-1981 (19) 1982-1983 (21) 1984 (23) 1985 (38) 1986 (75) 1987 (57) 1988 (86) 1989 (90) 1990 (146) 1991 (94) 1992 (98) 1993 (81) 1994 (104) 1995 (81) 1996 (76) 1997 (66) 1998 (65) 1999 (64) 2000 (78) 2001 (76) 2002 (80) 2003 (76) 2004 (102) 2005 (92) 2006 (96) 2007 (93) 2008 (110) 2009 (76) 2010 (54) 2011 (76) 2012 (51) 2013 (50) 2014 (73) 2015 (47) 2016 (65) 2017 (46) 2018 (64) 2019 (67) 2020 (75) 2021 (60) 2022 (62) 2023 (60) 2024 (15)
Publication types (Num. hits)
article(994) book(5) incollection(23) inproceedings(1980) phdthesis(47) proceedings(11)
Venues (Conferences, Journals, ...)
CoRR(161) CADE(99) UNIF(94) RTA(80) J. Autom. Reason.(43) COLING(41) J. Symb. Comput.(41) ACL(39) CONCUR(39) Theor. Comput. Sci.(33) LPAR(27) ICLP(23) LICS(23) PLILP(23) CSL(22) POPL(22) More (+10 of total 1108)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1037 occurrences of 720 keywords

Results
Found 3060 publication records. Showing 3060 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
117Temur Kutsia, Jordi Levy, Mateu Villaret Sequence Unification Through Currying. Search on Bibsonomy RTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
103Joachim Niehren, Manfred Pinkal, Peter Ruhrberg On Equality Up-to Constraints over Finite Trees, Context Unification, and One-Step Rewriting. Search on Bibsonomy CADE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF tree constraints, subtree relation, string unification, context unification, linear second-order unification, one-step rewriting, semantic processing of natural language
102Jordi Levy Decidable and Undecidable Second-Order Unification Problems. Search on Bibsonomy RTA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
94Klaus U. Schulz A Criterion for Intractability of E-unification with Free Function Symbols and Its Relevance for Combination Algorithms. Search on Bibsonomy RTA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
91Jordi Levy, Mateu Villaret Linear Second-Order Unification and Context Unification with Tree-Regular Constraints. Search on Bibsonomy RTA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
90Philippe Codognet Equations, Disequations and Unsolvable Subsets (abstract). Search on Bibsonomy ISSAC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
87Charles P. Wright, Jay Dave, Puja Gupta, Harikesavan Krishnan, David P. Quigley, Erez Zadok, Mohammad Nayyer Zubair Versatility and Unix semantics in namespace unification. Search on Bibsonomy ACM Trans. Storage The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Namespace management, directory merging, unification, snapshotting, stackable file systems
80Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch Unification Modulo ACU I Plus Homomorphisms/Distributivity. Search on Bibsonomy CADE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF E-Unification, Rewrite reachability, Minskymachine, Complexity, Set constraints, Post correspondence problem
79Stephan Kepser, Jörn Richts UNIMOK: A System for Combining Equational Unification Algorithm. Search on Bibsonomy RTA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
72Frank Wolter, Michael Zakharyaschev Undecidability of the unification and admissibility problems for modal and description logics. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF admissible rule, description logic, decidability, Unification, hybrid logic
72Daniel Feinstein, Shuly Wintner Highly Constrained Unification Grammars. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Unification grammars, Linear indexed grammars, Mildly context- sensitive languages, Generative capacity
72Joachim Niehren, Alexander Koller Dominance Constraints in Context Unification. Search on Bibsonomy LACL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF tree descriptions, unification theory, Computational linguistics, computational logics, underspecification
72James Cheney The Complexity of Equivariant Unification. Search on Bibsonomy ICALP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
72Tony Abou-Assaleh, Nick Cercone, Vlado Keselj Towards the Theory of Relaxed Unification. Search on Bibsonomy ISMIS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
72Franz Baader, Klaus U. Schulz Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures. Search on Bibsonomy CADE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
72Christoph Walther A Classification of Many-Sorted Unification Problems. Search on Bibsonomy CADE The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
69Franz Baader Unification, Weak Unification, Upper Bound, Lower Bound, and Generalization Problems. Search on Bibsonomy RTA The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
67Manfred Schmidt-Schauß, Klaus U. Schulz On the Exponent of Periodicity of Minimal Solutions of Context Equation. Search on Bibsonomy RTA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
65David A. Plaisted Special Cases and Substitutes for Rigid E-Unification. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Rigid E -unification, Theorem proving, First-order logic, Decidability, Unification, Equality, Horn clauses, Tableaux
65Manfred Schmidt-Schauß Unification in a Combination of Arbitrary Disjoint Equational Theories. Search on Bibsonomy CADE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Decidability of Unification, Combination of equational theories, Boolean rings, Unification, Equational theories, Abelian groups
65Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch Unification Modulo ACUI Plus Distributivity Axioms. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF equational unification, counter machines, complexity, decidability, rewriting, set constraints, Post correspondence problem
65Sébastien Limet, Frédéric Saubion A General Framework for R-Unification Problems. Search on Bibsonomy PLILP/ALP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Rewrite techniques, unification, Tree languages
65Puri Arenas-Sánchez, Agostino Dovier Minimal Set Unification Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Logic Programming with Sets, Unification, CLP
65Luc Albert, Rafael Casas, François Fages, A. Torrecillas, Paul Zimmermann Average Case Analysis of Unification Algorithms. Search on Bibsonomy STACS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF generating functions, average case complexity, unification algorithms
65Manfred Schmidt-Schauß Unification in Many-Sorted Eqational Theories. Search on Bibsonomy CADE The full citation details ... 1986 DBLP  DOI  BibTeX  RDF Many-Sorted Logics, Heterogeneous Algebras, Unification, Equational Theories
64Deepak Kapur, Paliath Narendran, Lida Wang A Unification Algorithm for Analysis of Protocols with Blinded Signatures. Search on Bibsonomy Mechanizing Mathematical Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
64Jordi Levy, Mateu Villaret Currying Second-Order Unification Problems. Search on Bibsonomy RTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
64Manfred Schmidt-Schauß Stratified Context Unification Is in PSPACE. Search on Bibsonomy CSL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
64Miki Hermann, Phokion G. Kolaitis Unification Algorithms Cannot be Combined in Polynomial Time. Search on Bibsonomy CADE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
64Bernhard Beckert A Completion-Based Method for Mixed Universal and Rigid E-Unification. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
64Philippe le Chenadec On Positive Occur-Checks in Unification. Search on Bibsonomy MFCS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
62Hans-Jürgen Bürckert Some Relationships between Unification, restricted Unification, and Matching. Search on Bibsonomy CADE The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
60Matthias Neubauer, Peter Thiemann 0001 Type classes with more higher-order polymorphism. Search on Bibsonomy ICFP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF higher-order unification, Haskell, type inference, type classes
57Siva Anantharaman, Hai Lin 0005, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch Cap unification: application to protocol security modulo homomorphic encryption. Search on Bibsonomy AsiaCCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF secrecy analysis, protocol, rewriting, unification
57Viorica Sofronie-Stokkermans On unification for bounded distributive lattices. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF decision procedures for the positive theory, Theorem proving, unification, distributive lattices, SAT solving
57Franz Baader, Werner Nutt Combination problems for commutative/monoidal theories or how algebra can help in equational unification. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Equational unification, Semiadditive categories, Semirings, Equational theories
57Steven Dawson, C. R. Ramakrishnan 0001, Steven Skiena, Terrance Swift Principles and Practice of Unification Factoring. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF trie minimization, logic programming, indexing, unification
57Jean H. Gallier, Paliath Narendran, Stan Raatz, Wayne Snyder Theorem Proving Using Equational Matings and Rigid E-Unification. Search on Bibsonomy J. ACM The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Knuth-Bendix procedure, matings, NP-completeness, unification, automated theorem proving, equational reasoning
57Jordi Levy, Mateu Villaret Nominal Unification from a Higher-Order Perspective. Search on Bibsonomy RTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
57James Cheney Equivariant Unification. Search on Bibsonomy RTA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
57Venkatesh Choppella, Christopher T. Haynes Source-Tracking Unification. Search on Bibsonomy CADE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
57Alexandre Boudet, Evelyne Contejean, Claude Marché AC-Complete Unification and its Application to Theorem Proving. Search on Bibsonomy RTA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
57Jordi Levy Linear Second-Order Unification. Search on Bibsonomy RTA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
57R. Ramesh 0001, I. V. Ramakrishnan, R. C. Sekar 0001 Automata-Driven Efficient Subterm Unification. Search on Bibsonomy FSTTCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
57Georgios Grivas, Roman Maeder Matching and Unification for the Object-Oriented Symbolic Computation System AlgBench. Search on Bibsonomy DISCO The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
57Tobias Nipkow Unification in Primal Algebras, Their Powers and Their Varieties Search on Bibsonomy J. ACM The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
57Wayne Snyder Higher Order E-Unification. Search on Bibsonomy CADE The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
57Christoph Walther Many-sorted unification. Search on Bibsonomy J. ACM The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
57Wolfram Büttner Unification in Finite Algebras is Unitary (?). Search on Bibsonomy CADE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
57Stefan Arnborg, Erik Tidén Unification Problems with One-Sided Distributivity. Search on Bibsonomy RTA The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
57François Fages Associative-Commutative Unification. Search on Bibsonomy CADE The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
54Evelyne Contejean A Partial Solution for D-Unification Based on a Reduction to AC1-Unification. Search on Bibsonomy ICALP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
53A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn An Analysis of ML Typability. Search on Bibsonomy J. ACM The full citation details ... 1994 DBLP  DOI  BibTeX  RDF acyclic semi-unification, semi-unification, ML
53Michael Beeson Mathematical Induction in Otter-Lambda. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF computer proofs, second-order, Otter, mathematical induction, unification, automated deduction
50Barbara Morawska 0001 General E -unification with Eager Variable Elimination and a Nice Cycle Rule. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF E-unification, Variable elimination, Cycle rule
50Joachim Niehren, Mateu Villaret Describing Lambda Terms in Context Unification. Search on Bibsonomy LACL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF second-order unification, dominance constraints, underspecified semantics, computational linguistics
50Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch ACID-Unification Is NEXPTIME-Decidable. Search on Bibsonomy MFCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF E-Unification, Dag automata, Complexity, Tree automata, Set constraints
50Ondrej Klíma 0001 Unification Modulo Associativity and Idempotency Is NP-complete. Search on Bibsonomy MFCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF idempotent semigroups, complexity, unification
50Fritz Henglein Fast Left-Linear Semi-Unification. Search on Bibsonomy ICCI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF semi-unification, left-linear, P-completeness
50Abdelilah Kandri-Rody, Deepak Kapur, Paliath Narendran An Ideal-Theoretic Approach to Work Problems and Unification Problems over Finitely Presented Commutative Algebras. Search on Bibsonomy RTA The full citation details ... 1985 DBLP  DOI  BibTeX  RDF Unification Problem, Finitely Presented Algebras, Commutative Algebras, Gröbner Basis, Knuth-Bendix Completion Procedure, Term Rewriting, Word Problem, Polynomial Ideals
49Mayank Vatsa, Richa Singh 0001, Afzel Noore Unification of Evidence-Theoretic Fusion Algorithms: A Case Study in Level-2 and Level-3 Fingerprint Features. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part A The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
49Krystof Hoder, Andrei Voronkov Comparing Unification Algorithms in First-Order Theorem Proving. Search on Bibsonomy KI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
49Franz Baader, Barbara Morawska 0001 Unification in the Description Logic EL. Search on Bibsonomy RTA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
49Johan Brichau, Coen De Roover, Kim Mens Open Unification for Program Query Languages. Search on Bibsonomy SCCC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
49Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret Stratified Context Unification Is NP-Complete. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
49Manfred Schmidt-Schauß Decidable Variants of Higher-Order Unification. Search on Bibsonomy Mechanizing Mathematical Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
49Tony Abou-Assaleh, Nick Cercone Relaxed Unification - Proposal. Search on Bibsonomy AI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
49Michio Oyamaguchi, Yoshikatsu Ohta The Unification Problem for Confluent Right-Ground Term Rewriting Systems. Search on Bibsonomy RTA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
49Anatoli Degtyarev, Andrei Voronkov What You Always Wanted to Know About Rigid E-Unification. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
49Jean Goubault Higher-Order Rigid E-Unification. Search on Bibsonomy LPAR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
49Fadi N. Sibai, Karan L. Watson, Mi Lu Design and performance measurements of a parallel machine for the unification algorithm. Search on Bibsonomy MICRO The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
49Hans Leiß Polymorphic Recursion and Semi-Unification. Search on Bibsonomy CSL The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
49Dale Miller 0001 A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification. Search on Bibsonomy ELP The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
49Patrick Lincoln, Jim Christian Adventures in Associative-Commutative Unification (A Summary). Search on Bibsonomy CADE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
49Jia-Huai You, P. A. Subrahmanyam E-Unification Algorithms for a Class of Confluent Term Rewriting Systems. Search on Bibsonomy ICALP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
47Eric Domenjoud AC Unification Through Order-Sorted AC1 Unification. Search on Bibsonomy RTA The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
45Wray L. Buntine, Hans-Jürgen Bürckert On Solving Equations and Disequations. Search on Bibsonomy J. ACM The full citation details ... 1994 DBLP  DOI  BibTeX  RDF E-disunification, E-unification equational theory, definite clause, solving equations and disequations, logic programming, inequations
45Christian Urban, James Cheney Avoiding Equivariance in Alpha-Prolog. Search on Bibsonomy TLCA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Antoni Koscielski, Leszek Pacholski Complexity of Unification in Free Groups and Free Semi-groups Search on Bibsonomy FOCS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF free groups, free semi-groups, word-unification algorithms, complexity, satisfiability, unification
42Philip T. Cox, Patrick K. Nicholson Unification of Arrays in Spreadsheets with Logic Programming. Search on Bibsonomy PADL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF logic programming, Spreadsheet, unification, array
42Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees. Search on Bibsonomy SAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF CHR (Constraint Handling Rules), first-order constraints solving, theory of finite or infinite trees, Prolog, unification
42Vlado Keselj Question Answering Using Unification-Based Grammar. Search on Bibsonomy AI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF stochastic unification-based grammars, question answering
42Iliano Cervesato, Frank Pfenning Linear Higher-Order Pre-Unification. Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF linear higher-order pre-unification, linear lambda calculus, intuitionistic functions, additive unit, additive pairing, proof scorch, linear type theories, sublanguages, logic programming, representation, lambda calculus, logical frameworks, linear functions
42Qing Guo, Paliath Narendran, David A. Wolfram Unification and Matching Modulo Nilpotence. Search on Bibsonomy CADE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Subject area MECHANISMS, unification
42Yuichi Kaji, Toru Fujiwara, Tadao Kasami Solving a Unification Problem under Constrained Substitutions Using Tree Automata. Search on Bibsonomy FSTTCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF unification problems, constrained substitutions, tree automata, term rewriting systems
42Ulf Krumnack, Angela Schwering, Helmar Gust, Kai-Uwe Kühnberger Restricted Higher-Order Anti-Unification for Analogy Making. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
42Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret Bounded Second-Order Unification Is NP-Complete. Search on Bibsonomy RTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
42Tony Abou-Assaleh, Nick Cercone, Vlado Keselj A Probabilistic Evaluation Function for Relaxed Unification. Search on Bibsonomy COMPSAC (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
42Tsuneo Nakanishi, Minoru Hatamoto, Michihiro Matsumoto, Susumu Yamazaki, Teruaki Kitasuka, Akira Fukuda Product Line Based Component Unification and Exploiting Unified Components in FORM. Search on Bibsonomy APSEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
42Christopher Lynch Schematic Saturation for Decision and Unification Problems. Search on Bibsonomy CADE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
42Deepak Kapur, Paliath Narendran, Lida Wang An E-unification Algorithm for Analyzing Protocols That Use Modular Exponentiation. Search on Bibsonomy RTA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
42Robin N. Banerjee, Andrés Bujosa Implementing Term Algebra Syntactic Unification in Free Modules over Certain Rings. Search on Bibsonomy FoIKS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
42Jordi Levy, Mateu Villaret Context Unification and Traversal Equations. Search on Bibsonomy RTA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
42Alexandre Boudet, Evelyne Contejean Combining Pattern E-Unification Algorithms. Search on Bibsonomy RTA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
42Ashish Tiwari 0001, Leo Bachmair, Harald Rueß Rigid E-Unification Revisited. Search on Bibsonomy CADE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
42Michael Beeson Unification in Lambda-Calculi with if-then-else. Search on Bibsonomy CADE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
42Claude Kirchner, Christophe Ringeissen Higher-Order Equational Unification via Explicit Substitutions. Search on Bibsonomy ALP/HOA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
42Sergio Greco, Cristinel Mateis, Eugenio Spadafora The Complexity of Weak Unification of Bounded Simple Set Terms. Search on Bibsonomy DEXA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
42Manfred Schmidt-Schauß An Algorithm for Distributive Unification. Search on Bibsonomy RTA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
42Steven Dawson, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Konstantinos Sagonas, Steven Skiena, Terrance Swift, David Scott Warren Unification Factoring for Efficient Execution of Logic Programs. Search on Bibsonomy POPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Prolog
Displaying result #1 - #100 of 3060 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license