Results 281 to 290 of about 99,447 (295)

Matching — A special case of unification?

Journal of Symbolic Computation, 1989
Hans-Jürgen Bürckert
exaly  

On rewrite constraints and context unification

Information Processing Letters, 2000
Joachim Niehren, Sophie Tison
exaly  

Explaining unification in physics internally

SynthÈse, 2019
Kian Salimkhani
exaly  

Unification, the answer to resemblance questions

SynthÈse, 2015
Erik Weber
exaly  

Proton hexality in local grand unification

Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics, 2010
Patrick Vaudrevange, Saul Ramos-Sánchez   +1 more
exaly  

Nominal Unification from a Higher-Order Perspective

ACM Transactions on Computational Logic, 2012
Jordi Levy, Mateu Villaret
exaly  

Decidability of bounded second order unification

Information and Computation, 2004
exaly  

On the relation between Context and Sequence Unification

Journal of Symbolic Computation, 2010
Jordi Levy, Mateu Villaret, Temur Kutsia   +2 more
exaly  

F‐theory and unification

Fortschritte Der Physik, 2010
exaly  

Deciding Context Unification

Journal of the ACM, 2019
Artur Jez
exaly