Abstract is missing.
- Unification on the RunThomas Prokosch, François Bry. [doi]
- Terminating Non-Disjoint Combined Unification (Extended Abstract)Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen. [doi]
- Unification of DragsJean-Pierre Jouannaud, Fernando Orejas. [doi]
- On the Unification of Term SchemataDavid M. Cerna, Alexander Leitsch, Anela Lolic. [doi]
- An Investigation into General Nominal Equational Problems (Work in progress)Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes Sobrinho, Deivid Vale. [doi]
- An Improved Algorithm for Testing Whether a Special String Rewriting System is ConfluentPaliath Narendran, Saumya Arora, Yu Zhang. [doi]
- Proximity-Based Unification with Arity MismatchTemur Kutsia, Cleo Pau. [doi]
- Algorithmic Problems in Synthesized Cryptosystems (Extended Abstract)Andrew M. Marshall, Catherine Meadows 0001, Paliath Narendran, Veena Ravishankar, Brandon Rozek. [doi]
- A, C, and AC Nominal Anti-UnificationAlexander Baumgartner, Daniele Nantes Sobrinho. [doi]
- Rewriting in Protocol VerificationStéphanie Delaune. [doi]
- Some Results on Prefix GrammarsPaliath Narendran, Ashley Suchy, Yu Zhang. [doi]
- Nominal Algorithms: Applications and ExtensionsManfred Schmidt-Schauß. [doi]
- About the unification type of K+☐☐⊥Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev. [doi]