Skip to content

Chance Discovery and Unification in Linear Modal Logic.

Vladimir V. Rybakov

VenueBKES
Year2011
ProceedingsKES (2)

Browse the full KES paper archive.