Search results for "semi-unification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
85	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
73	Fritz Henglein	Fast Left-Linear Semi-Unification.	ICCI	1990	DBLP DOI BibTeX RDF	semi-unification, left-linear, P-completeness
70	Hans Leiß	Polymorphic Recursion and Semi-Unification.	CSL	1989	DBLP DOI BibTeX RDF
66	Deepak Kapur, David R. Musser, Paliath Narendran, Jonathan Stillman	Semi-Unification.	FSTTCS	1988	DBLP DOI BibTeX RDF
59	Fritz Henglein	Type Inference and Semi-Unification.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF
51	Eric Chasseur, Yves Deville	Logic Program Schemas, Constraints, and Semi-unification.	LOPSTR	1997	DBLP DOI BibTeX RDF
44	Alberto Oliart, Wayne Snyder	A Fast Algorithm for Uniform Semi-Unification.	CADE	1998	DBLP DOI BibTeX RDF
40	Hans Leiß, Fritz Henglein	A Decidable Case of the Semi-Unification Problem.	MFCS	1991	DBLP DOI BibTeX RDF
34	A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn	ML Typability is DEXTIME-Complete.	CAAP	1990	DBLP DOI BibTeX RDF
30	Matthias Baaz, Richard Zach	Algorithmic Structuring of Cut-free Proofs.	CSL	1992	DBLP DOI BibTeX RDF
30	Gert Smolka, Tobias Tebbi	Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification.	RTA	2013	DBLP DOI BibTeX RDF
29	Matthias Baaz, Gernot Salzer	Semi-Unification and Generalizations of a Particularly Simple Form.	CSL	1994	DBLP DOI BibTeX RDF
22	Michael Furr, Jeffrey S. Foster	Polymorphic Type Inference for the JNI.	ESOP	2006	DBLP DOI BibTeX RDF
22	A. J. Kfoury, Santiago M. Pericás-Geertsen	Type Inference for Recursive Definitions.	LICS	1999	DBLP DOI BibTeX RDF	type systems, type inference, lambda calculus, unification, software specification
22	A. J. Kfoury, J. B. Wells	A Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order lambda-Calculus.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	ML
19	Atsushi Ohori, Nobuaki Yoshida	Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML.	ICFP	1999	DBLP DOI BibTeX RDF
19	Hans Leiß	Polymorphic Constructs in Natural and Programming Languages.	JELIA	1990	DBLP DOI BibTeX RDF
18	Andrej Dudenhefner	Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version).	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF
18	Andrej Dudenhefner	Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version).	CoRR	2022	DBLP DOI BibTeX RDF
18	Andrej Dudenhefner	Constructive Many-One Reduction from the Halting Problem to Semi-Unification.	CSL	2022	DBLP DOI BibTeX RDF
18	Andrej Dudenhefner	Undecidability of Semi-Unification on a Napkin.	FSCD	2020	DBLP DOI BibTeX RDF
18	Takahito Aoto 0001, Munehiro Iwami	Termination of Rule-Based Calculi for Uniform Semi-Unification.	LATA	2013	DBLP DOI BibTeX RDF
18	Alberto Oliart, Wayne Snyder	Fast algorithms for uniform semi-unification.	J. Symb. Comput.	2004	DBLP DOI BibTeX RDF
18	Mikael Rittri	Corrigendum: Semi-Unification of Two Terms in Abelian Groups.	Inf. Process. Lett.	1995	DBLP DOI BibTeX RDF
18	Mikael Rittri	Semi-Unification of Two Terms in Abelian Groups.	Inf. Process. Lett.	1994	DBLP DOI BibTeX RDF
18	A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn	The Undecidability of the Semi-unification Problem	Inf. Comput.	1993	DBLP DOI BibTeX RDF
18	Deepak Kapur, David R. Musser, Paliath Narendran, Jonathan Stillman	Semi-Unification.	Theor. Comput. Sci.	1991	DBLP DOI BibTeX RDF
18	Peter Ruzicka	An Efficient Decision Algorithm for the Uniform Semi-Unification Problem.	MFCS	1991	DBLP DOI BibTeX RDF
18	A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn	The Undecidability of the Semi-Unification Problem (Preliminary Report)	STOC	1990	DBLP DOI BibTeX RDF
18	Jean-Louis Durieux, Emmanuel Saint-James	Une Charpente De Semi-Unification.	RAIRO Theor. Informatics Appl.	1988	DBLP DOI BibTeX RDF
11	Étienne Payet	Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator.	LOPSTR	2006	DBLP DOI BibTeX RDF