search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

UNIF

Keyphrases

Publications

2020

Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev
About the unification type of K+☐☐⊥. UNIF (2020)
Jean-Pierre Jouannaud, Fernando Orejas
Unification of Drags. UNIF (2020)
Temur Kutsia, Cleo Pau
Proximity-Based Unification with Arity Mismatch. UNIF (2020)
Alexander Baumgartner, Daniele Nantes-Sobrinho
A, C, and AC Nominal Anti-Unification. UNIF (2020)
Manfred Schmidt-Schauß
Nominal Algorithms: Applications and Extensions. UNIF (2020)
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale
An Investigation into General Nominal Equational Problems (Work in progress). UNIF (2020)
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
Terminating Non-Disjoint Combined Unification (Extended Abstract). UNIF (2020)
Paliath Narendran, Ashley Suchy, Yu Zhang
Some Results on Prefix Grammars. UNIF (2020)
Stéphanie Delaune
Rewriting in Protocol Verification. UNIF (2020)
Paliath Narendran, Saumya Arora, Yu Zhang
An Improved Algorithm for Testing Whether a Special String Rewriting System is Confluent. UNIF (2020)
Proceedings of the 34th International Workshop on Unification, UNIF 2020, Linz, Austria, June 29, 2020. UNIF (2020)
David M. Cerna, Alexander Leitsch, Anela Lolic
On the Unification of Term Schemata. UNIF (2020)
Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek
Algorithmic Problems in Synthesized Cryptosystems (Extended Abstract). UNIF (2020)
Thomas Prokosch, François Bry
Unification on the Run. UNIF (2020)

2016

2014

volume 24, 2014

UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, Manchester, UK, July 1, 2012 UNIF 24 (2014)

2012

2011