Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
27 | Jordi Levy, Joachim Niehren, Mateu Villaret |
Well-Nested Context Unification. |
CADE |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Xuan Li, Lunjin Lu |
Inverting abstract unification for set-sharing. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
maximal models and Boolean formulas, set-sharing, logic programs, backward analysis |
27 | Thierry Boy de la Tour, Mnacho Echenim |
Unification in a Class of Permutative Theories. |
RTA |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret |
Monadic Second-Order Unification Is NP-Complete. |
RTA |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Michael Backes 0001, Markus Dürmuth, Günter Karjoth |
Unification in Privacy Policy Evaluation - Translating EPAL into Prolog. |
POLICY |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Ralf Schweimeier, Michael Schroeder 0001 |
Fuzzy Unification and Argumentation for Well-Founded Semantics. |
SOFSEM |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Jason Reed 0001 |
Extending Higher-Order Unification to Support Proof Irrelevance. |
TPHOLs |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Brigitte Pientka, Frank Pfenning |
Optimizing Higher-Order Pattern Unification. |
CADE |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Liviu-Virgil Ciortuz |
LIGHT - A Constraint Language and Compiler System for Typed-Unification Grammars. |
KI |
2002 |
DBLP DOI BibTeX RDF |
|
27 | François Bry, Sebastian Schaffert |
Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Franz Baader, Ralf Küsters |
Unification in a Description Logic with Transitive Closure of Roles. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Jan-Georg Smaus |
Analysis of Polymorphically Typed Logic Programs Using ACI-Unification. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Klaus-Dieter Schewe |
On the unification of query algebras and their extension to rational tree structures. |
ADC |
2001 |
DBLP DOI BibTeX RDF |
rational tree, structural recursion, query algebra |
27 | Akif Günes Koru, Elif Demirörs, Onur Demirörs |
Process-Product Unification in a Decentralized Environment: A Status Report. |
EUROMICRO |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Renate A. Schmidt |
E-Unification for Subsystems of S4. |
RTA |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Florent Jacquemard, Christoph Meyer 0001, Christoph Weidenbach |
Unification in Extension of Shallow Equational Theories. |
RTA |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Andrei Voronkov |
Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification. |
CADE |
1996 |
DBLP DOI BibTeX RDF |
|
27 | Maurice Bruynooghe, Michael Codish, Anne Mulkers |
Abstracting Unification: A Key Step in the Design of Logic Program Analyses. |
Computer Science Today |
1995 |
DBLP DOI BibTeX RDF |
|
27 | Friedrich Otto, Paliath Narendran, Daniel J. Dougherty |
Some Independent Results for Equational Unification. |
RTA |
1995 |
DBLP DOI BibTeX RDF |
|
27 | Rolf Socher-Ambrosius |
A Refined Version of General E-Unification. |
CADE |
1994 |
DBLP DOI BibTeX RDF |
|
27 | Patricia Johann, Michael Kohlhase |
Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading. |
CADE |
1994 |
DBLP DOI BibTeX RDF |
|
27 | Olaf Müller, Franz Weber |
Theory and Practice of Minimal Modular Higher-Order E-Unification. |
CADE |
1994 |
DBLP DOI BibTeX RDF |
|
27 | Uwe Petermann |
A Complete Connection Calculus with Rigid E-Unification. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
27 | Faruk Polat, H. Altay Güvenir |
UVT: A Unification-Based Tool for Knowledge Base Verification. |
IEEE Expert |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Rolf Socher-Ambrosius |
Unification in Order-Sorted Logic With Term Declarations. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Zhenyu Qian |
Linear Unification of Higher-Order Patterns. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Max Moser |
Improving Transformation Systems for General E-Unification. |
RTA |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Christian Holzbaur |
Metastructures versus Attributed Variables in the Context of Extensible Unification. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
27 | Wolfgang Bibel, Steffen Hölldobler, Jörg Würtz |
Cycle Unification. |
CADE |
1992 |
DBLP DOI BibTeX RDF |
|
27 | Hans Leiß, Fritz Henglein |
A Decidable Case of the Semi-Unification Problem. |
MFCS |
1991 |
DBLP DOI BibTeX RDF |
|
27 | Tobias Nipkow, Zhenyu Qian |
Modular Higher-Order E-Unification. |
RTA |
1991 |
DBLP DOI BibTeX RDF |
|
27 | Alexandre Boudet |
Unification in a Combination of Equational Theories: an Efficient Algorithm. |
CADE |
1990 |
DBLP DOI BibTeX RDF |
|
27 | Masami Hagiya |
Programming by Example and Proving by Example Using Higher-order Unification. |
CADE |
1990 |
DBLP DOI BibTeX RDF |
|
27 | John Darlington, Yike Guo |
Narrowing and Unification in Functional Programming - An Evaluation Mechanism for Absolute Set Abstraction. |
RTA |
1989 |
DBLP DOI BibTeX RDF |
|
27 | Patrick Saint-Dizier |
Parsing with Extended Unification Mechanisms. |
KBCS |
1989 |
DBLP DOI BibTeX RDF |
|
27 | Frank Pfenning |
Partial Polymorphic Type Inference and Higher-Order Unification. |
LISP and Functional Programming |
1988 |
DBLP DOI BibTeX RDF |
|
27 | Steffen Hölldobler |
A Unification Algorithms for Confluent Theories. |
ICALP |
1987 |
DBLP DOI BibTeX RDF |
|
27 | James A. Brown 0001, Ramiro Guerreiro |
Designing APL2 programs for unification. |
APL |
1987 |
DBLP DOI BibTeX RDF |
APL |
27 | Karl-Hans Bläsius, Ulrich Hedtstück |
Resolution with Feature Unification. |
CSL |
1987 |
DBLP DOI BibTeX RDF |
|
27 | Alexander Herold |
Combination of Unification Algorithms. |
CADE |
1986 |
DBLP DOI BibTeX RDF |
|
27 | Jean-Marie Hullot |
Canonical Forms and Unification. |
CADE |
1980 |
DBLP DOI BibTeX RDF |
|
27 | Sergei B. Pokrovsky |
Semantic unification in a multi-language compiler. |
Methods of Algorithmic Language Implementation |
1975 |
DBLP DOI BibTeX RDF |
|
24 | Tomer Libal, Dale Miller 0001 |
Functions-as-constructors higher-order unification: extended pattern unification. |
Ann. Math. Artif. Intell. |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Sandeep Vidyapu, Vijaya Saradhi Vedula, Michael Burch, Samit Bhattacharya |
Attention-based Cross-Modal Unification of Visualized Text and Image Features: Understanding the influence of interface and user idiosyncrasies on unification for free-viewing. |
ETRA Adjunct |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Maryam Rostamigiv |
About the type of modal logics for the unification problem. (A propos du type de logiques modales pour le problème d'unification). |
|
2020 |
RDF |
|
24 | Jean-Pierre Jouannaud, Fernando Orejas |
Unification of Drags. |
UNIF |
2020 |
DBLP BibTeX RDF |
|
24 | Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen |
Terminating Non-Disjoint Combined Unification (Extended Abstract). |
UNIF |
2020 |
DBLP BibTeX RDF |
|
24 | Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev |
About the unification type of K+☐☐⊥. |
UNIF |
2020 |
DBLP BibTeX RDF |
|
24 | David M. Cerna, Alexander Leitsch, Anela Lolic |
On the Unification of Term Schemata. |
UNIF |
2020 |
DBLP BibTeX RDF |
|
24 | Temur Kutsia, Cleo Pau |
Proximity-Based Unification with Arity Mismatch. |
UNIF |
2020 |
DBLP BibTeX RDF |
|
24 | Alexander Baumgartner, Daniele Nantes-Sobrinho |
A, C, and AC Nominal Anti-Unification. |
UNIF |
2020 |
DBLP BibTeX RDF |
|
24 | Thomas Prokosch, François Bry |
Unification on the Run. |
UNIF |
2020 |
DBLP BibTeX RDF |
|
24 | Manfred Schmidt-Schauß |
A Note on Unification, Subsumption and Unification Type. |
Description Logic, Theory Combination, and All That |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Mamadou Tahirou Bah 0002 |
Définition d'un langage pour l'unification des réseaux locaux et des réseaux du cloud. (Definition of a language for the unification of local and cloud networks). |
|
2019 |
RDF |
|
24 | Slimane Oulad-Naoui |
Fouille de motifs : formalisation et unification. (Pattern Mining: Formalisation and Unification). |
|
2018 |
RDF |
|
24 | Slimane Bellaouar |
Noyaux de mots et d'arbres : efficacité et unification. (نوى الكلمات و الأشجار : فعالية وتوحيد / String and Tree Kernels : Efficiency and Unification ). |
|
2018 |
RDF |
|
24 | Wojciech Dzik, Piotr Wojtylak |
Unification in predicate logic. |
UNIF |
2016 |
DBLP BibTeX RDF |
|
24 | Martin Plümicke |
Type unification for structural types in Java (Extended Abstract). |
UNIF |
2016 |
DBLP BibTeX RDF |
|
24 | Franz Baader, Pierre Ludmann |
The Unification Type of ACUI w.r.t. the Unrestricted Instantiation Preorder is not Finitary. |
UNIF |
2016 |
DBLP BibTeX RDF |
|
24 | Jordi Levy |
On the Limits of Second-Order Unification. |
UNIF |
2014 |
DBLP BibTeX RDF |
|
24 | Leonardo Manuel Cabrer, George Metcalfe |
From Admissibility to a New Hierarchy of Unification Types. |
UNIF |
2014 |
DBLP BibTeX RDF |
|
24 | Philippe Balbiani, Tinko Tinchev |
Unification in the normal modal logic Alt1. |
UNIF |
2014 |
DBLP BibTeX RDF |
|
24 | Andrea Vezzosi, Andreas Abel 0001 |
A Categorical Perspective on Pattern Unification (Extended Abstract). |
UNIF |
2014 |
DBLP BibTeX RDF |
|
24 | Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret |
Nominal Anti-Unification. |
UNIF |
2014 |
DBLP BibTeX RDF |
|
24 | Peter Hibbs, Paliath Narendran, Shweta Mehto |
Unification Modulo Common List Functions. |
UNIF |
2014 |
DBLP BibTeX RDF |
|
24 | Beta Ziliani, Matthieu Sozeau |
Towards a better-behaved unification algorithm for Coq. |
UNIF |
2014 |
DBLP BibTeX RDF |
|
24 | Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows 0001, Paliath Narendran, Christophe Ringeissen |
On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract). |
UNIF |
2014 |
DBLP BibTeX RDF |
|
24 | Tatyana A. Novikova, Vladimir A. Zakharov |
Two-sided unification is NP-complete. |
UNIF |
2014 |
DBLP BibTeX RDF |
|
24 | Serdar Erbatur, Santiago Escobar 0001, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows 0001, José Meseguer 0001, Paliath Narendran, Sonia Santiago, Ralf Sasse |
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. |
CADE |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Gert Smolka, Tobias Tebbi |
Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification. |
RTA |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Alexander Baumgartner, Temur Kutsia |
Unranked Anti-Unification with Hedge and Context Variables. |
UNIF@RTA/TLCA |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Franz Baader, Oliver Fernandez Gil, Barbara Morawska 0001 |
Hybrid Unification in the Description Logic EL. |
UNIF@RTA/TLCA |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Temur Kutsia |
Anti-Unification: Algorithms and Applications. |
UNIF@RTA/TLCA |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Jan Otop |
E-unification with Constants vs. General E-unification. |
J. Autom. Reason. |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Franz Baader, Stefan Borgwardt, Barbara Morawska 0001 |
Recent Advances in Unification for the EL Family. |
UNIF |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Serdar Erbatur, Santiago Escobar 0001, Paliath Narendran |
The use of types in designing unification algorithms: two case studies. |
UNIF |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Tomer Libal |
Bounded Higher-order Unification using Regular Terms. |
UNIF |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret |
On the complexity of Bounded Second-Order Unification and Stratified Context Unification. |
Log. J. IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Ekaterina Komendantskaya |
Unification neural networks: unification by error-correction learning. |
Log. J. IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Christopher Lynch |
Invited talk: Unification in Cryptographic Protocol Analysis. |
UNIF |
2011 |
DBLP BibTeX RDF |
|
24 | Ben Kavanagh, James Cheney |
Higher-Order Unification for the λαν calculus. |
UNIF |
2011 |
DBLP BibTeX RDF |
|
24 | Jan Otop |
Unification of anti-terms. |
UNIF |
2011 |
DBLP BibTeX RDF |
|
24 | Rakesh M. Verma, Wei Guo |
Does Unification Help in Normalization? |
UNIF |
2011 |
DBLP BibTeX RDF |
|
24 | Conrad Rau, Manfred Schmidt-Schauß |
A Unification Algorithm to Compute Overlaps in a Call-by-Need Lambda-Calculus with Variable-Binding Chains. |
UNIF |
2011 |
DBLP BibTeX RDF |
|
24 | Marc Poulhiès |
Conception et Implantation de Système Fondé sur les Composants. Vers une Unification des Paradigmes Génie Logiciel et Système. (Design and Implementation of Component Based Systems. Towards a Unification of the Software Engineering and the System Paradigms). |
|
2010 |
RDF |
|
24 | Deepak Kapur, Andrew M. Marshall, Paliath Narendran |
Unification modulo a partial theory of exponentiation |
UNIF |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Paliath Narendran, Andrew M. Marshall, Bibhu Mahapatra |
On the Complexity of the Tiden-Arnborg Algorithm for Unification modulo One-Sided Distributivity |
UNIF |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Christian Urban |
Nominal Unification Revisited |
UNIF |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Conrad Rau, Manfred Schmidt-Schauß |
Towards Correctness of Program Transformations Through Unification and Critical Pair Computation |
UNIF |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Takashi Ninomiya, Takuya Matsuzaki, Nobuyuki Shimizu, Hiroshi Nakagawa |
Deterministic Shift-Reduce Parsing for Unification-Based Grammars by Using Default Unification. |
EACL |
2009 |
DBLP BibTeX RDF |
|
24 | Franz Baader, Barbara Morawska 0001 |
Unification in the Description Logic EL is of Type Zero. |
UNIF |
2008 |
DBLP BibTeX RDF |
|
24 | Santiago Escobar 0001, José Meseguer 0001, Ralf Sasse |
Equational Unification by Variant Narrowing (Extended Abstract). |
UNIF |
2008 |
DBLP BibTeX RDF |
|
24 | Emilio Jesús Gallego Arias, James Lipton, Julio Mariño, Pablo Nogueira |
First-order unification using variable-free relational algebra. |
UNIF |
2008 |
DBLP BibTeX RDF |
|
24 | Siva Anantharaman, Hai Lin 0005, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch |
Unification modulo Homomorphic Encryption is Decidable. |
UNIF |
2008 |
DBLP BibTeX RDF |
|
24 | Jörg H. Siekmann, Michael Hoche, Peter Szabó |
String Unification is Essentially Infinitary. |
UNIF |
2008 |
DBLP BibTeX RDF |
|
24 | Mnacho Echenim |
Déduction et Unification dans les Théories Permutatives. (Deduction and Unification in Permutative Theories). |
|
2005 |
RDF |
|
24 | Eric Atwell |
Le Regroupement de Types de Mots et l'Unification d'Occurrences de Mots dans des Catégories grammaticales de mots (Clustering of Word Types and Unification of Word Tokens into Grammatical Word-Classes). |
TALN (Posters) |
2004 |
DBLP BibTeX RDF |
|
24 | Takashi Ninomiya, Yusuke Miyao, Jun'ichi Tsujii |
Lenient Default Unification for Robust Processing within Unification Based Grammar Formalisms. |
COLING |
2002 |
DBLP BibTeX RDF |
|
24 | Jesús Medina 0001, Manuel Ojeda-Aciego, Peter Vojtás |
A Multi-Adjoint Approach to Similarity-Based Unification. |
UNCL@ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Harry Virtanen |
Vague Domains, S-Unification, Logic Programming. |
UNCL@ICALP |
2002 |
DBLP DOI BibTeX RDF |
|