| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jean-Pierre Jouannaud, Fernando Orejas |
Unification of Drags.  |
UNIF  |
2020 |
DBLP BibTeX RDF |
|
| 1 | Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen |
Terminating Non-Disjoint Combined Unification (Extended Abstract). |
UNIF |
2020 |
DBLP BibTeX RDF |
|
| 1 | Paliath Narendran, Saumya Arora, Yu Zhang |
An Improved Algorithm for Testing Whether a Special String Rewriting System is Confluent. |
UNIF |
2020 |
DBLP BibTeX RDF |
|
| 1 | Stéphanie Delaune |
Rewriting in Protocol Verification. |
UNIF |
2020 |
DBLP BibTeX RDF |
|
| 1 | Temur Kutsia, Andrew M. Marshall (eds.) |
Proceedings of the 34th International Workshop on Unification, UNIF 2020, Linz, Austria, June 29, 2020. |
UNIF |
2020 |
DBLP BibTeX RDF |
|
| 1 | Andrew M. Marshall, Catherine Meadows 0001, Paliath Narendran, Veena Ravishankar, Brandon Rozek |
Algorithmic Problems in Synthesized Cryptosystems (Extended Abstract). |
UNIF |
2020 |
DBLP BibTeX RDF |
|
| 1 | Paliath Narendran, Ashley Suchy, Yu Zhang |
Some Results on Prefix Grammars. |
UNIF |
2020 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev |
About the unification type of K+☐☐⊥. |
UNIF |
2020 |
DBLP BibTeX RDF |
|
| 1 | David M. Cerna, Alexander Leitsch, Anela Lolic |
On the Unification of Term Schemata. |
UNIF |
2020 |
DBLP BibTeX RDF |
|
| 1 | Temur Kutsia, Cleo Pau |
Proximity-Based Unification with Arity Mismatch. |
UNIF |
2020 |
DBLP BibTeX RDF |
|
| 1 | Alexander Baumgartner, Daniele Nantes-Sobrinho |
A, C, and AC Nominal Anti-Unification. |
UNIF |
2020 |
DBLP BibTeX RDF |
|
| 1 | Manfred Schmidt-Schauß |
Nominal Algorithms: Applications and Extensions. |
UNIF |
2020 |
DBLP BibTeX RDF |
|
| 1 | Thomas Prokosch, François Bry |
Unification on the Run. |
UNIF |
2020 |
DBLP BibTeX RDF |
|
| 1 | Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale |
An Investigation into General Nominal Equational Problems (Work in progress). |
UNIF |
2020 |
DBLP BibTeX RDF |
|
| 1 | Michal Stronko |
Universal freeness and admissibility. |
UNIF |
2016 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani |
Solving equations in pure double Boolean algebras. |
UNIF |
2016 |
DBLP BibTeX RDF |
|
| 1 | Edmund Soon Lee Lam, Iliano Cervesato |
Let's Unify With Scala Pattern Matching! |
UNIF |
2016 |
DBLP BibTeX RDF |
|
| 1 | Wojciech Dzik, Piotr Wojtylak |
Unification in predicate logic. |
UNIF |
2016 |
DBLP BibTeX RDF |
|
| 1 | Iliano Cervesato, Edmund S. L. Lam |
Overlap and Independence in Multiset Comprehension Patterns. |
UNIF |
2016 |
DBLP BibTeX RDF |
|
| 1 | Daniel S. Hono II, Paliath Narendran, Rafael Veras |
Lynch-Morawska Systems on Strings. |
UNIF |
2016 |
DBLP BibTeX RDF |
|
| 1 | Ralf Sasse |
Automated Symbolic Proofs of Security Protocols. |
UNIF |
2016 |
DBLP BibTeX RDF |
|
| 1 | Martin Plümicke |
Type unification for structural types in Java (Extended Abstract). |
UNIF |
2016 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Pierre Ludmann |
The Unification Type of ACUI w.r.t. the Unrestricted Instantiation Preorder is not Finitary. |
UNIF |
2016 |
DBLP BibTeX RDF |
|
| 1 | Daniel S. Hono II, Namrata Galatage, Kimberly A. Gero, Paliath Narendran, Ananya Subburathinam |
Notes on Lynch-Morawska Systems. |
UNIF |
2016 |
DBLP BibTeX RDF |
|
| 1 | Silvio Ghilardi, Manfred Schmidt-Schauß (eds.) |
Proceedings of the 30th International Workshop on Unification, UNIF 2016, Porto, Portugal, June 26, 2016. |
UNIF |
2016 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Pavlos Marantidis, Alexander Okhotin |
Approximately Solving Set Equations. |
UNIF |
2016 |
DBLP BibTeX RDF |
|
| 1 | Jordi Levy |
On the Limits of Second-Order Unification. |
UNIF |
2014 |
DBLP BibTeX RDF |
|
| 1 | Maria Paola Bonacina, David A. Plaisted |
Constraint Manipulation in SGGS. |
UNIF |
2014 |
DBLP BibTeX RDF |
|
| 1 | Leonardo Manuel Cabrer, George Metcalfe |
From Admissibility to a New Hierarchy of Unification Types. |
UNIF |
2014 |
DBLP BibTeX RDF |
|
| 1 | Philippe Balbiani, Tinko Tinchev |
Unification in the normal modal logic Alt1. |
UNIF |
2014 |
DBLP BibTeX RDF |
|
| 1 | Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen |
Hierarchical Combination of Matching Algorithms (Extended Abstract). |
UNIF |
2014 |
DBLP BibTeX RDF |
|
| 1 | Andrea Vezzosi, Andreas Abel 0001 |
A Categorical Perspective on Pattern Unification (Extended Abstract). |
UNIF |
2014 |
DBLP BibTeX RDF |
|
| 1 | Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret |
Nominal Anti-Unification. |
UNIF |
2014 |
DBLP BibTeX RDF |
|
| 1 | Peter Hibbs, Paliath Narendran, Shweta Mehto |
Unification Modulo Common List Functions. |
UNIF |
2014 |
DBLP BibTeX RDF |
|
| 1 | Temur Kutsia, Christophe Ringeissen (eds.) |
Proceedings of the 28th International Workshop on Unification, UNIF 2014, Vienna, Austria, July 13, 2014. |
UNIF |
2014 |
DBLP BibTeX RDF |
|
| 1 | Beta Ziliani, Matthieu Sozeau |
Towards a better-behaved unification algorithm for Coq. |
UNIF |
2014 |
DBLP BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Tatyana A. Novikova, Vladimir A. Zakharov |
Two-sided unification is NP-complete. |
UNIF |
2014 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Barbara Morawska 0001 |
Matching with respect to general concept inclusions in the Description Logic EL. |
UNIF |
2014 |
DBLP BibTeX RDF |
|
| 1 | José Meseguer 0001 |
Extensible Symbolic System Analysis. |
UNIF |
2014 |
DBLP BibTeX RDF |
|
| 1 | Santiago Escobar 0001, Konstantin Korovin, Vladimir V. Rybakov (eds.) |
UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, Manchester, UK, July 1, 2012 |
UNIF |
2014 |
DBLP BibTeX RDF |
|
| 1 | Kimberly A. Gero, Christopher Bouchard, Paliath Narendran |
Some Notes on Basic Syntactic Mutation. |
UNIF |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Stefan Borgwardt, Barbara Morawska 0001 |
Recent Advances in Unification for the EL Family. |
UNIF |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Serdar Erbatur, Santiago Escobar 0001, Paliath Narendran |
The use of types in designing unification algorithms: two case studies. |
UNIF |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomer Libal |
Bounded Higher-order Unification using Regular Terms. |
UNIF |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Ciobaca |
Computing finite variants for subterm convergent rewrite systems. |
UNIF |
2011 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Barbara Morawska 0001, Jan Otop (eds.) |
Proceedings of the 25th International Workshop on Unification, UNIF 2011, Wroclaw, Poland, July 31, 2011. |
UNIF |
2011 |
DBLP BibTeX RDF |
|
| 1 | Christopher Lynch |
Invited talk: Unification in Cryptographic Protocol Analysis. |
UNIF |
2011 |
DBLP BibTeX RDF |
|
| 1 | Serdar Erbatur, Santiago Escobar 0001, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows 0001, José Meseguer 0001, Paliath Narendran, Ralf Sasse |
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. |
UNIF |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ben Kavanagh, James Cheney |
Higher-Order Unification for the λαν calculus. |
UNIF |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jan Otop |
Unification of anti-terms. |
UNIF |
2011 |
DBLP BibTeX RDF |
|
| 1 | Rakesh M. Verma, Wei Guo |
Does Unification Help in Normalization? |
UNIF |
2011 |
DBLP BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Lukasz Stafiniak |
Joint Constraint Abduction Problems. |
UNIF |
2011 |
DBLP BibTeX RDF |
|
| 1 | Wojciech Dzik, Piotr Wojtylak |
Projective Unifiers in Modal Logics. |
UNIF |
2011 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Nguyen Thanh Binh 0003, Stefan Borgwardt, Barbara Morawska 0001 |
Computing Local Unifiers in the Description Logic EL without the Top Concept. |
UNIF |
2011 |
DBLP BibTeX RDF |
|
| 1 | Deepak Kapur, Andrew M. Marshall, Paliath Narendran |
Unification modulo a partial theory of exponentiation |
UNIF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Sunil Kothari, James L. Caldwell |
A Machine Checked Model of Idempotent MGU Axioms For Lists of Equational Constraints |
UNIF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Urban |
Nominal Unification Revisited |
UNIF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Conrad Rau, Manfred Schmidt-Schauß |
Towards Correctness of Program Transformations Through Unification and Critical Pair Computation |
UNIF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Maribel Fernández (eds.) |
Proceedings 24th International Workshop on Unification, UNIF 2010, Edinburgh, United Kingdom, 14th July 2010. |
UNIF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Andreas Bauer 0002, Alwen Tiu |
Matching linear and non-linear trace patterns with regular policies. |
UNIF |
2008 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Barbara Morawska 0001 |
Unification in the Description Logic EL is of Type Zero. |
UNIF |
2008 |
DBLP BibTeX RDF |
|
| 1 | Santiago Escobar 0001, José Meseguer 0001, Ralf Sasse |
Equational Unification by Variant Narrowing (Extended Abstract). |
UNIF |
2008 |
DBLP BibTeX RDF |
|
| 1 | Mircea Marin (eds.) |
Proceedings of the 22nd International Workshop on Unification, UNIF 2008, Castle of Hagenberg, Austria, July 18, 2008. |
UNIF |
2008 |
DBLP BibTeX RDF |
|
| 1 | Mircea Marin, Temur Kutsia |
Matching with Membership Constraints for Hedge and Context Variables. |
UNIF |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Allan Ramsay |
A tractable logic of types. |
UNIF |
2008 |
DBLP BibTeX RDF |
|
| 1 | Siva Anantharaman, Hai Lin 0005, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch |
Unification modulo Homomorphic Encryption is Decidable. |
UNIF |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jörg H. Siekmann, Michael Hoche, Peter Szabó |
String Unification is Essentially Infinitary. |
UNIF |
2008 |
DBLP BibTeX RDF |
|
| 1 | R. Juan-Arinyo, Toni Soto |
A Rule-Constructive Geometric Constraint Solver. |
UNIF |
1995 |
DBLP BibTeX RDF |
|
| 1 | Farid Ajili, Evelyne Contejean |
Complete Solving of Linear Diophantine Equations and Inequations without Adding Slack Variables. |
UNIF |
1995 |
DBLP BibTeX RDF |
|
| 1 | Claus Hintermeier |
Redundancy and Saturation. |
UNIF |
1995 |
DBLP BibTeX RDF |
|
| 1 | Gilles Amiot |
On decision problems for second order unification. |
UNIF |
1995 |
DBLP BibTeX RDF |
|
| 1 | Robert Nieuwenhuis, Albert Rubio (eds.) |
9th International Workshop on Unification, UNIF 1995, Sitges, Spain, April 2-3, 1995. |
UNIF |
1995 |
DBLP BibTeX RDF |
|
| 1 | Régis Curien, Zhenyu Qian |
Efficient Second-Order AC-Matching Algorithm. |
UNIF |
1995 |
DBLP BibTeX RDF |
|
| 1 | Manfred Schmidt-Schauß |
An Algorithm for Distributive Unification. |
UNIF |
1995 |
DBLP BibTeX RDF |
|
| 1 | Jordi Levy |
A Decidable Second-Order Unification Problem. |
UNIF |
1995 |
DBLP BibTeX RDF |
|
| 1 | Manuel J. Fernández-Iglesias, Martín Llamas, Juan Quemada |
EXTRA: A Tool for Data Expression Transformation in an FDT Environment. |
UNIF |
1995 |
DBLP BibTeX RDF |
|
| 1 | Denis Lugiez |
Undecidability of second-order complement problems. |
UNIF |
1995 |
DBLP BibTeX RDF |
|
| 1 | Ralf Treinen |
Feature Trees over Arbitrary Structures. |
UNIF |
1995 |
DBLP BibTeX RDF |
|
| 1 | Jason Brown, Lincoln A. Wallen |
Representing Unification in a Logical Framework. |
UNIF |
1995 |
DBLP BibTeX RDF |
|
| 1 | Sébastien Limet, Pierre Réty |
An Attempt of Integration of LSE Narrowing and Directed Narrowing. |
UNIF |
1995 |
DBLP BibTeX RDF |
|
| 1 | Hubert Comon |
Linear diophantine equations, Presburger arithmetic and finite automata. |
UNIF |
1995 |
DBLP BibTeX RDF |
|
| 1 | Francisco J. Durán, Ernesto Pimentel 0001 |
Objects communication by extending the unification. |
UNIF |
1995 |
DBLP BibTeX RDF |
|
| 1 | Eric Domenjoud |
From Elliott-Mac Mahon to an algorithm for general linear constraints on naturals. |
UNIF |
1995 |
DBLP BibTeX RDF |
|
| 1 | Aart Middeldorp, Satoshi Okui, Tetsuo Ida |
Lazy Narrowing: Strong Completeness and Eager Variable Elimination. |
UNIF |
1995 |
DBLP BibTeX RDF |
|
| 1 | Christopher Lynch |
Oriented Equational Logic Programming is Complete. |
UNIF |
1995 |
DBLP BibTeX RDF |
|
| 1 | Francesca Arcelli, Uwe M. Borghoff, Ferrante Formato, Remo Pareschi |
Constraint-Based Protocols for Distributed Problem Solving (Ext. Abstract). |
UNIF |
1995 |
DBLP BibTeX RDF |
|
| 1 | Franz Baader, Klaus U. Schulz |
On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers. |
UNIF |
1995 |
DBLP BibTeX RDF |
|
| 1 | Steffen van Bakel, Maribel Fernández |
Normalization Properties of Typeable Term Rewriting Systems (Abstract). |
UNIF |
1995 |
DBLP BibTeX RDF |
|
| 1 | Harald Ganzinger |
Redundancy and Saturation. |
UNIF |
1995 |
DBLP BibTeX RDF |
|
| 1 | Rafael Ramírez-Meléndez |
Precedence Constraints in Tempo. |
UNIF |
1995 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license