Search results for "E-Unification"

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