Search results for "E-Unification"

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