L. Méhats

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2007

1 L. Méhats, Sergei Soloviev: Coherence in smccs and equivalences on derivations in imll with unit. Ann. Pure Appl. Logic 147(3): 127-179 (2007)

	2007
1		L. Méhats, Sergei Soloviev: Coherence in smccs and equivalences on derivations in imll with unit. Ann. Pure Appl. Logic 147(3): 127-179 (2007)

Coauthor Index